use rest-> contract for lens-join/list
This commit is contained in:
parent
730363fbfd
commit
1bcf4fb74e
|
@ -4,6 +4,7 @@ require racket/list
|
||||||
racket/contract
|
racket/contract
|
||||||
"../base/main.rkt"
|
"../base/main.rkt"
|
||||||
"../util/alternating-list.rkt"
|
"../util/alternating-list.rkt"
|
||||||
|
"../util/rest-contract.rkt"
|
||||||
|
|
||||||
module+ test
|
module+ test
|
||||||
require rackunit
|
require rackunit
|
||||||
|
@ -11,7 +12,7 @@ module+ test
|
||||||
|
|
||||||
provide
|
provide
|
||||||
contract-out
|
contract-out
|
||||||
lens-join/list (->* () #:rest (listof lens?) (lens/c any/c list?))
|
lens-join/list (rest-> lens? (lens/c any/c list?))
|
||||||
|
|
||||||
|
|
||||||
(define (lens-join/list . lenses)
|
(define (lens-join/list . lenses)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user