add contracts for lens-zoom and lens-zoom*

2015-09-04 23:33:40 -04:00 · 2015-09-04 23:33:40 -04:00 · da77504a76
commit da77504a76
parent 96c501dca4
1 changed files with 6 additions and 2 deletions
--- a/unstable/lens/zoom.rkt
+++ b/unstable/lens/zoom.rkt
@ -1,11 +1,15 @@
 #lang sweet-exp racket/base

-provide lens-zoom
-        lens-zoom*
+require racket/contract/base
+provide
+  contract-out
+    lens-zoom (-> lens? lens? lens?)
+    lens-zoom* (->* [] #:rest (listof2 lens? lens?) lens?)

 require fancy-app
        lens/private/base/main
        lens/private/compound/thrush
+        lens/private/util/list-pair-contract
        racket/match
        unstable/sequence
        "isomorphism/base.rkt"