add contracts for mapper-lens and vector-mapper-lens

2015-08-18 16:26:13 -04:00 · 2015-08-18 16:26:13 -04:00 · 5a55f59580
commit 5a55f59580
parent 42abda35f2
1 changed files with 8 additions and 3 deletions
--- a/unstable/lens/mapper.rkt
+++ b/unstable/lens/mapper.rkt
@ -1,10 +1,15 @@
 #lang racket/base

-(provide mapper-lens
-         vector-mapper-lens
-         )
+(require racket/contract/base)
+(provide (contract-out
+          [mapper-lens
+           (-> lens? (lens/c list? list?))]
+          [vector-mapper-lens
+           (-> lens? (lens/c immutable-vector? immutable-vector?))]
+          ))

 (require lens/base/main
+         lens/util/immutable
         racket/vector
         fancy-app
         )