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

Add documentation for struct-type types

Browse Source 
original commit: b7974ec3c25cfcbab60a0de6be31ea5a3c811612
This commit is contained in:
Asumu Takikawa 2013-12-29 06:09:27 -05:00
parent 55d25d738e
commit a93c922261
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View File

@ -574,6 +574,21 @@ potentially-polymorphic structure type @racket[_st]. Note that structure
accessors for @racket[_st] will @emph{not} accept @racket[(Struct st)] as an
argument.}
@defform[(Struct-Type st)]{is a type for the structure type descriptor value
for the structure type @racket[st]. Values of this type are used with
reflective operations such as @racket[struct-type-info].
@ex[struct:arity-at-least
(struct-type-info struct:arity-at-least)]
}
@defidform[Struct-TypeTop]{is the supertype of all types for structure type
descriptor values. The corresponding structure type is unknown for values of
this top type.
@ex[(struct-info (arity-at-least 0))]
}
@defalias[→ ->]
@defalias[case→ case->]
@defalias[∀ All]