Merge pull request #282 from AlexKnauth/data-modules

add lens/data, lens/data/list, etc.
This commit is contained in:
Jack Firth 2016-08-27 12:52:40 -07:00 committed by GitHub
commit d30fc3692f
11 changed files with 24 additions and 13 deletions

8
lens-data/lens/data.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang sweet-exp reprovide
"data/dict.rkt"
"data/hash.rkt"
"data/list.rkt"
"data/stream.rkt"
"data/string.rkt"
"data/struct.rkt"
"data/vector.rkt"

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/dict/dict

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/hash/main

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/list/main

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/stream/stream

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/string/main

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/struct/main

View File

@ -0,0 +1,2 @@
#lang reprovide
lens/private/vector/main

View File

@ -1,6 +1,6 @@
#lang reprovide
"car-cdr.rkt"
"list-ref-take-drop.rkt"
(except-in "list-ref-take-drop.rkt" drop-lens take-lens)
"cadr-etc.rkt"
"multi.rkt"
"join-list.rkt"

View File

@ -1,8 +0,0 @@
#lang sweet-exp reprovide
"dict/dict.rkt"
"hash/main.rkt"
"list/main.rkt"
"stream/stream.rkt"
"string/main.rkt"
"struct/main.rkt"
"vector/main.rkt"

View File

@ -1,6 +1,3 @@
#lang sweet-exp reprovide
lens/common
except-in
lens/private/main
drop-lens
take-lens
lens/data