From a93c922261253b3de03511786f26add90007ab9c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sun, 29 Dec 2013 06:09:27 -0500 Subject: [PATCH] Add documentation for struct-type types original commit: b7974ec3c25cfcbab60a0de6be31ea5a3c811612 --- .../scribblings/reference/types.scrbl | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl index dd794e03..708d8217 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl @@ -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]