Add contracts to lens composition

2015-07-08 01:26:43 -07:00 · 2015-07-08 01:26:43 -07:00 · ed16d1ab04
commit ed16d1ab04
parent 7d76d71dc2
1 changed files with 3 additions and 2 deletions
--- a/lens/base/compose.rkt
+++ b/lens/base/compose.rkt
@ -8,8 +8,9 @@
 (module+ test
  (require rackunit))

-(provide lens-compose
-         lens-thrush)
+(provide
+ (contract-out [lens-compose (->* () () #:rest lens? lens?)]
+               [lens-thrush (->* () () #:rest lens? lens?)]))


 (define (lens-compose2 sub-lens super-lens)