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

Docs for List x ...

Browse Source 
original commit: 4df7d09ef1933fc128737ad3d29b61428d80b70b
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-21 17:55:35 -04:00
parent f50aa4917a
commit eb621217bc
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -123,6 +123,10 @@ The following base types are parameteric in their type arguments.
@defform[(Listof t)]{Homogenous @rtech{lists} of @racket[t]}
@defform[(List t ...)]{is the type of the list with one element, in order,
for each type provided to the @racket[List] type constructor.}
@defform/none[(#,(racket List) t ... trest #,(racket ...) bound)]{is the type of a list with
one element for each of the @racket[t]s, plus a sequence of elements
corresponding to @racket[trest], where @racket[bound]
must be an identifier denoting a type variable bound with @racket[...].}
@ex[
(list 'a 'b 'c)
@ -179,7 +183,7 @@ The following base types are parameteric in their type arguments.
@defform*[#:id -> #:literals (* ...)
[(dom ... -> rng)
(dom ... rest * -> rng)
(dom ... rest ... bound -> rng)
(dom ... rest #,(racket ...) bound -> rng)
(dom -> rng : pred)]]{is the type of functions from the (possibly-empty)
sequence @racket[dom ...] to the @racket[rng] type. The second form
specifies a uniform rest argument of type @racket[rest], and the