add lens/data, lens/data/list, etc.
This commit is contained in:
parent
307e7ef089
commit
01ce09b732
8
lens-data/lens/data.rkt
Normal file
8
lens-data/lens/data.rkt
Normal 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"
|
2
lens-data/lens/data/dict.rkt
Normal file
2
lens-data/lens/data/dict.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/dict/dict
|
2
lens-data/lens/data/hash.rkt
Normal file
2
lens-data/lens/data/hash.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/hash/main
|
2
lens-data/lens/data/list.rkt
Normal file
2
lens-data/lens/data/list.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/list/main
|
2
lens-data/lens/data/stream.rkt
Normal file
2
lens-data/lens/data/stream.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/stream/stream
|
2
lens-data/lens/data/string.rkt
Normal file
2
lens-data/lens/data/string.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/string/main
|
2
lens-data/lens/data/struct.rkt
Normal file
2
lens-data/lens/data/struct.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/struct/main
|
2
lens-data/lens/data/vector.rkt
Normal file
2
lens-data/lens/data/vector.rkt
Normal file
|
@ -0,0 +1,2 @@
|
|||
#lang reprovide
|
||||
lens/private/vector/main
|
|
@ -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"
|
||||
|
|
|
@ -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"
|
|
@ -1,6 +1,3 @@
|
|||
#lang sweet-exp reprovide
|
||||
lens/common
|
||||
except-in
|
||||
lens/private/main
|
||||
drop-lens
|
||||
take-lens
|
||||
lens/data
|
||||
|
|
Loading…
Reference in New Issue
Block a user