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

Documentation for define-struct:

Browse Source 
svn: r11781

original commit: 6d228898ee571979a45e1ac6d35e936ad9a76d4d
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-16 22:26:34 +00:00
parent 43c13e8052
commit 5c5934c98b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -523,6 +523,10 @@ types. In most cases, use of @scheme[:] is preferred to use of @scheme[define:]
(define-struct: (name parent) ([f : t] ...))
(define-struct: (v ...) name ([f : t] ...))
(define-struct: (v ...) (name parent) ([f : t] ...))]]
{Defines a @rtech{structure} with the name @scheme[name], where the fields
@scheme[f] have types @scheme[t]. The second and fourth forms define @scheme[name]
to be a substructure of @scheme[parent]. The last two forms define structures that
are polymorphic in the type variables @scheme[v].}
@subsection{Type Aliases}
@defform*[[(define-type-alias name t)