From da77504a7636a00411440084f2a10e95a527765b Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Fri, 4 Sep 2015 23:33:40 -0400 Subject: [PATCH] add contracts for lens-zoom and lens-zoom* --- unstable/lens/zoom.rkt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/unstable/lens/zoom.rkt b/unstable/lens/zoom.rkt index 996843c..eb21f17 100644 --- 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"