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

Documented list library

Browse Source
This commit is contained in:
William J. Bowman 2016-01-13 21:14:54 -05:00
parent 8c149fcef2
commit e162ef3acc
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
2 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cur-doc/cur/scribblings/stdlib.scrbl
View File

@ -12,4 +12,5 @@ Cur has a small standard library, primary for demonstration purposes.
@include-section{stdlib/bool.scrbl}
@include-section{stdlib/nat.scrbl}
@include-section{stdlib/maybe.scrbl}
@include-section{stdlib/list.scrbl}
@include-section{stdlib/typeclass.scrbl}

21
cur-doc/cur/scribblings/stdlib/list.scrbl Normal file
View File

@ -0,0 +1,21 @@
#lang scribble/manual
@(require
"../defs.rkt"
scribble/eval)
@(define curnel-eval (curnel-sandbox "(require cur/stdlib/bool cur/stdlib/nat cur/stdlib/sugar cur/stdlib/list)"))
@title{List}
@defmodule[cur/stdlib/list]
This library defines the datatype @racket[List] and several functions on them.
@deftogether[(@defthing[List (-> Type Type)]
@defthing[nil (forall (A : Type) (List A))]
@defthing[cons (forall* (A : Type) (a : A) (-> (List A) (List A)))])]{
The polymorphic list datatype.
}
@defproc[(list-ref [A Type] [ls (List A)] [n Nat]) (Maybe A)]{
Returns the @racket[n]th element of @racket[ls] in the @racket[Maybe] monad.
}