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

Documented opt-lambda: and popt-lambda:.

Browse Source 
original commit: 4b3e621d0ff54671befe96bff3c49109128e8861
This commit is contained in:
Vincent St-Amour 2011-01-28 12:36:50 -05:00
parent 6a0aa26fde
commit 6473431d0d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -296,6 +296,14 @@ A function of multiple arities. Note that each @racket[formals] must have a
different arity.}
@defform[(pcase-lambda: (a ...) [formals body] ...)]{
A polymorphic function of multiple arities.}
@defform/subs[(opt-lambda: formals . body)
([formals ([v : t] ... [v : t default] ...)
([v : t] ... [v : t default] ... . [v : t *])
([v : t] ... [v : t default] ... . [v : t ...])])]{
A function with optional arguments.}
@defform[(popt-lambda: (a ...) formals . body)]{
A polymorphic function with optional arguments.}
@subsection{Loops}