Add assoc contracts

2015-07-08 09:59:22 -07:00 · 2015-07-08 09:59:22 -07:00 · bb8dc58037
commit bb8dc58037
parent 837606788a
1 changed files with 5 additions and 4 deletions
--- a/lens/list/assoc.rkt
+++ b/lens/list/assoc.rkt
@ -1,8 +1,9 @@
-#lang racket/base
+#lang racket

-(provide assoc-lens
-         assv-lens
-         assq-lens)
+(provide
+ (contract-out [assoc-lens (->* (any/c) (#:is-equal? (-> any/c any/c boolean?)) lens?)]
+               [assv-lens (-> any/c lens?)]
+               [assq-lens (-> any/c lens?)]))

 (require racket/list
         fancy-app