Add view/set contracts

2015-07-08 01:37:57 -07:00 · 2015-07-08 01:37:57 -07:00 · 837606788a
commit 837606788a
parent 32c580d849
1 changed files with 5 additions and 4 deletions
--- a/lens/base/view-set.rkt
+++ b/lens/base/view-set.rkt
@ -6,10 +6,11 @@
 (module+ test
  (require rackunit))

-(provide lens-view
-         lens-set
-         lens-view*
-         lens-set*)
+(provide
+ lens-view*
+ lens-set*
+ (contract-out [lens-view (-> lens? any/c any/c)]
+               [lens-set (-> lens? any/c any/c any/c)]))


 (define (lens-view lens v)