suzanne.soy/lens
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add list contracts

Browse Source
This commit is contained in:
Jack Firth 2015-07-08 10:13:53 -07:00
parent 4e154f1dbb
commit 7cb337f131
1 changed files with 17 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
lens/list/list-ref-take-drop.rkt
View File

@ -1,19 +1,21 @@
#lang racket/base
#lang racket
(provide list-ref-lens
list-ref-nested-lens
take-lens
drop-lens
first-lens
second-lens
third-lens
fourth-lens
fifth-lens
sixth-lens
seventh-lens
eighth-lens
ninth-lens
tenth-lens)
(provide
(contract-out
[list-ref-lens (-> exact-nonnegative-integer? lens?)]
[list-ref-nested-lens (->* () #:rest (listof exact-nonnegative-integer?) lens?)]
[take-lens (-> exact-nonnegative-integer? lens?)]
[drop-lens (-> exact-nonnegative-integer? lens?)]
[first-lens lens?]
[second-lens lens?]
[third-lens lens?]
[fourth-lens lens?]
[fifth-lens lens?]
[sixth-lens lens?]
[seventh-lens lens?]
[eighth-lens lens?]
[ninth-lens lens?]
[tenth-lens lens?]))
(require racket/list
fancy-app