Next: Operations
Up: Types
Previous: Types
  Contents
- Any
- The type that any object satisfies: the universal type.
- None
- The type that no object satisfies: the empty type.
- Range
- A parametrized type over another type with a linear
ordering, such as Integer. This type is bounded, it has a
start and a finish (least and greatest possible
member). In general, any Magnitude can be used as a base
of a Range type.
- Member
- The type associated with membership in a specific
set of objects.
- Singleton
- The type of a single object, as distinct from
any other object.
- Clone
- The type of an object and its CLONE FAMILY,
the set of objects that are direct copies (clones plus changes to
slot values) of it.
- Array
- The type representing all arrays, as parametrized
by an element type and a length.
- Block
- The type representing code closures of a given (optional)
input and output signature.
Brian Rice
2004-08-24