Package orc.type

Class Summary

ArrowType
DotType	Composite type for sites which can receive messages (using the .
EllipsisArrowType
ListType
MultiType	A composite type supporting ad-hoc polymorphic calls.
OptionType
TupleType
Type	Abstract superclass of all types for the Orc typechecker.
TypeApplication	An unevaluated type application.
TypeInstance	A type constructor instantiated at particular types, e.g.
TypeVariable	A bound type variable.