From 5a55f5958051792e46e92533b1db7a38d792f9a7 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Tue, 18 Aug 2015 16:26:13 -0400 Subject: [PATCH] add contracts for mapper-lens and vector-mapper-lens --- unstable/lens/mapper.rkt | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/unstable/lens/mapper.rkt b/unstable/lens/mapper.rkt index 4153bcf..c74cb58 100644 --- a/unstable/lens/mapper.rkt +++ b/unstable/lens/mapper.rkt @@ -1,10 +1,15 @@ #lang racket/base -(provide mapper-lens - vector-mapper-lens - ) +(require racket/contract/base) +(provide (contract-out + [mapper-lens + (-> lens? (lens/c list? list?))] + [vector-mapper-lens + (-> lens? (lens/c immutable-vector? immutable-vector?))] + )) (require lens/base/main + lens/util/immutable racket/vector fancy-app )