Uses of Class
orc.ast.xml.type.Type

Packages that use Type

orc.ast.oil.type
orc.ast.xml.expression
orc.ast.xml.type
orc.type
orc.type.ground
orc.type.structured
orc.type.tycon

Uses of Type in orc.ast.oil.type

Methods in orc.ast.oil.type that return Type

Type	TypeVariable.marshal()
Type	TypeApplication.marshal()
abstract Type	Type.marshal() Convert this type into an XML-isomorphic format for serialization.
Type	TupleType.marshal()
Type	Top.marshal()
Type	SiteType.marshal()
Type	PolymorphicTypeAlias.marshal()
Type	InferredType.marshal()
Type	Datatype.marshal()
Type	ClassType.marshal()
Type	Bot.marshal()
Type	ArrowType.marshal()
static Type[]	Type.marshalAll(java.util.List<Type> ts) Convenience method, to marshal a list of types.

Uses of Type in orc.ast.xml.expression

Fields in orc.ast.xml.expression declared as Type

Type[]	Def.argTypes
Type	Def.resultType
Type	HasType.type
Type	DeclareType.type
Type[]	Call.typeArgs

Constructors in orc.ast.xml.expression with parameters of type Type

Call(Argument callee, Argument[] arguments, Type[] typeArgs)

DeclareType(Type type, Expression body)

Def(int arity, Expression body, int typeArity, Type[] argTypes, Type resultType, SourceLocation location, java.lang.String name)

Def(int arity, Expression body, int typeArity, Type[] argTypes, Type resultType, SourceLocation location, java.lang.String name)

HasType(Expression body, Type type, boolean checked)

Uses of Type in orc.ast.xml.type

Subclasses of Type in orc.ast.xml.type

class	ArrowType A syntactic arrow type: lambda[X,...,X](T,...,T) :: T
class	Bot
class	ClassnameType A syntactic type which refers to a Java class (which we will treat as a type).
class	Datatype
class	PolymorphicTypeAlias A syntactic type representing an aliased type with type parameters.
class	SiteType A syntactic type corresponding to a Java class implementing a type.
class	Top
class	TupleType A syntactic type tuple: (T,...,T)
class	TypeApplication A type instantiation with explicit type parameters: T[T,..,T]
class	TypeVariable A simple named type.

Fields in orc.ast.xml.type declared as Type

Type[]	ArrowType.argTypes
Type	TypeApplication.constructor
Type[]	TupleType.items
Type[][]	Datatype.members
Type[]	TypeApplication.params
Type	ArrowType.resultType
Type	PolymorphicTypeAlias.type

Methods in orc.ast.xml.type with parameters of type Type

static java.util.List<Type>

Type.unmarshalAll(Type[] ts)

Constructors in orc.ast.xml.type with parameters of type Type

ArrowType(Type[] argTypes, Type resultType, int typeArity)

ArrowType(Type[] argTypes, Type resultType, int typeArity)

Datatype(java.lang.String name, Type[][] members, int arity)

PolymorphicTypeAlias(Type type, int arity)

TupleType(Type[] items)

TypeApplication(Type ty, Type[] params)

TypeApplication(Type ty, Type[] params)

Uses of Type in orc.type

Methods in orc.type that return Type

Type	TypeVariable.marshal()
Type	TypeApplication.marshal()
Type	Type.marshal() Convert to a syntactic type.

Uses of Type in orc.type.ground

Methods in orc.type.ground that return Type

Type	Top.marshal()

Uses of Type in orc.type.structured

Methods in orc.type.structured that return Type

Type	TupleType.marshal()
Type	ArrowType.marshal()

Uses of Type in orc.type.tycon

Methods in orc.type.tycon that return Type

Type	PolymorphicAliasedType.marshal()
Type	DatatypeTycon.marshal()