more contracts
This commit is contained in:
parent
dbdba22dae
commit
063436ccfe
|
@ -1,9 +1,14 @@
|
|||
#lang racket
|
||||
|
||||
(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?)]))
|
||||
(provide (contract-out
|
||||
[assoc-lens
|
||||
(->* (any/c) (#:is-equal? (-> any/c any/c boolean?))
|
||||
(lens/c (listof pair?) any/c))]
|
||||
[assv-lens
|
||||
(-> any/c (lens/c (listof pair?) any/c))]
|
||||
[assq-lens
|
||||
(-> any/c (lens/c (listof pair?) any/c))]
|
||||
))
|
||||
|
||||
(require racket/list
|
||||
fancy-app
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
#lang racket
|
||||
|
||||
(provide
|
||||
(contract-out [car-lens lens?]
|
||||
[cdr-lens lens?]))
|
||||
(contract-out [car-lens (lens/c pair? any/c)]
|
||||
[cdr-lens (lens/c pair? any/c)]))
|
||||
|
||||
(require "../base/main.rkt")
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user