Add car/cdr lens contracts

2015-07-08 10:10:49 -07:00 · 2015-07-08 10:10:49 -07:00 · 4e154f1dbb
commit 4e154f1dbb
parent 94a13eccaa
1 changed files with 4 additions and 2 deletions
--- a/lens/list/car-cdr.rkt
+++ b/lens/list/car-cdr.rkt
@ -1,6 +1,8 @@
-#lang racket/base
+#lang racket

-(provide car-lens cdr-lens)
+(provide
+ (contract-out [car-lens lens?]
+               [cdr-lens lens?]))

 (require "../base/main.rkt")