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

Document `Parameter'

Browse Source 
svn: r11780

original commit: 405ed4de3f82dd5cc135dde5f8326e969916fe61
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-16 22:21:44 +00:00
parent dbb5151b31
commit 43c13e8052
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typed-scheme.scrbl
View File

@ -428,6 +428,9 @@ The following base types are parameteric in their type arguments.
@defform[(Boxof t)]{A @gtech{box} of @scheme[t]}
@defform[(Vectorof t)]{Homogenous @gtech{vectors} of @scheme[t]}
@defform[(Option t)]{Either @scheme[t] of @scheme[#f]}
@defform*[[(Parameter t)
(Parameter s t)]]{A @rtech{parameter} of @scheme[t]. If two type arguments are supplied,
the first is the type the parameter accepts, and the second is the type returned.}
@defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car]
and @scheme[t] as the @scheme[cdr]}