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

Add doc subforms for keyword types

Browse Source
This commit is contained in:
Asumu Takikawa 2013-02-21 15:35:14 -05:00
parent 1cf1e1baa4
commit e8b49e2c82
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/scribblings/reference/types.scrbl
View File

@ -414,11 +414,15 @@ functions and continuation mark functions.
@section{Other Type Constructors} @section{Other Type Constructors}
@defform*[#:id -> #:literals (* ...) @defform*/subs[#:id -> #:literals (* ...)
[(dom ... -> rng) [(dom ... -> rng)
(dom ... rest * -> rng) (dom ... rest * -> rng)
(dom ... rest #,(racket ...) bound -> rng) (dom ... rest #,(racket ...) bound -> rng)
(dom -> rng : pred)]]{is the type of functions from the (possibly-empty) (dom -> rng : pred)]
([dom type
(code:line keyword type)
[keyword type]])]{
is the type of functions from the (possibly-empty)
sequence @racket[dom ...] to the @racket[rng] type. The second form sequence @racket[dom ...] to the @racket[rng] type. The second form
specifies a uniform rest argument of type @racket[rest], and the specifies a uniform rest argument of type @racket[rest], and the
third form specifies a non-uniform rest argument of type third form specifies a non-uniform rest argument of type