Package orc.type

Class Summary

ArrowType
Constraint	Upper and lower bound constraints on a type variable.
Datatype	Type constructor encompassing all type-level information associated with a datatype.
DotType	Composite type for sites which can receive messages (using the .
EllipsisArrowType
ImmutableContainerType
ListType
MultiType	A composite type supporting ad-hoc polymorphic calls.
MutableContainerType
OptionType
TupleType
Tycon	Root class for all type constructors.
Type	Abstract superclass of all types for the Orc typechecker.
TypeApplication	A type application, e.g.
TypeVariable	A bound type variable.
Variance	Variances of type parameters.

Exception Summary

InferenceRequest

A special exception raised and caught within the typechecker to request the inference of missing type parameters on a call.