From 837606788a47c9c45c43d292a8c9514310dc43ac Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Wed, 8 Jul 2015 01:37:57 -0700 Subject: [PATCH] Add view/set contracts --- lens/base/view-set.rkt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/lens/base/view-set.rkt b/lens/base/view-set.rkt index b5a55ff..d919f49 100644 --- a/lens/base/view-set.rkt +++ b/lens/base/view-set.rkt @@ -6,10 +6,11 @@ (module+ test (require rackunit)) -(provide lens-view - lens-set - lens-view* - lens-set*) +(provide + lens-view* + lens-set* + (contract-out [lens-view (-> lens? any/c any/c)] + [lens-set (-> lens? any/c any/c any/c)])) (define (lens-view lens v)