<type>
The class of all types, including classes and other types.
Exported from
Module common-dylan
Module Dylan
Modifiers
abstract free sealed
Superclasses
<object>
Subclasses
<byte-character-type>
<class>
<direct-instance>
<singleton>
<subclass>
<union>
Functions on <type>
as
check-type
concatenate-as
false-or
instance?
limited
make
map-as
stream-contents-as
subtype?
tabulate
type-for-file-stream
Functions returning <type>
element-type
false-or
limited
one-of
stream-element-type
type-error-expected-type
type-for-copy
type-for-file-stream
type-for-sequence-stream
type-union
The common-dylan module.
Whenever possible, we have tried to keep the Dylan module pristine and unextended, preferring to add our extensions to separate modules or libraries.
The class of all Dylan objects.
A class.
The class of all Dylan classes.
A class.
The class of singletons.
A class.
A class.
Coerces an object to a type.
Checks an object to ensure that it is an instance of a specified type.
Returns the concatenation of one or more sequences in a sequence of a specified type.
Creates a class that is either #f or the supplied class.
Returns true if
object
is a general instance of
type
.
Returns a limited subtype of a class.
Returns a general instance of its first argument.
Iterates over one or more collections and collects the results in a freshly allocated collection of a specified type.
A generic function.
Returns true if
type1
is a subtype of
type2
.
Make a sequence by performing a function on the index.
Returns the kind of file-stream class to instantiate for a given file.
A generic function.
Creates a class that is one of the supplied arguments.
Returns the type of elements streamed over.
Returns the expected type of the type check that led to the type error.
Returns an appropriate type for creating mutable copies of its argument.
Returns a stream type depending on the sequence.
Returns the union of two or more types.