suzanne.soy/lens
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

lens/c contract names

Browse Source
This commit is contained in:
AlexKnauth 2015-08-20 20:11:07 -04:00
parent 4c91867b46
commit f7cb175ee8
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
lens/base/contract.rkt
View File

@ -3,6 +3,7 @@
(provide lens/c)
(require racket/contract/base
unstable/contract
"gen-lens.rkt"
)
(module+ test
@ -13,10 +14,12 @@
))
(define (lens/c target/c view/c)
(gen-lens/c
[lens-view (or/c #f [lens? target/c . -> . view/c])]
[lens-set (or/c #f [lens? target/c view/c . -> . target/c])]
[focus-lens (or/c #f [lens? target/c . -> . (values view/c [view/c . -> . target/c])])]))
(rename-contract
(gen-lens/c
[lens-view (or/c #f [lens? target/c . -> . view/c])]
[lens-set (or/c #f [lens? target/c view/c . -> . target/c])]
[focus-lens (or/c #f [lens? target/c . -> . (values view/c [view/c . -> . target/c])])])
`(lens/c ,(contract-name target/c) ,(contract-name view/c))))
(module+ test
(check-exn exn:fail:contract?