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

Packages that use Type

orc.ast.extended.declaration.def
orc.ast.extended.declaration.type
orc.ast.extended.expression
orc.ast.extended.pattern
orc.ast.extended.type

Uses of Type in orc.ast.extended.declaration.def

Fields in orc.ast.extended.declaration.def declared as Type

Type	DefMemberType.resultType
Type	DefMemberClause.resultType
protected Type	AggregateDef.resultType

Fields in orc.ast.extended.declaration.def with type parameters of type Type

protected java.util.List<Type>	AggregateDef.argTypes
java.util.List<java.util.List<Type>>	DefMemberType.argTypesList

Methods in orc.ast.extended.declaration.def with parameters of type Type

void	AggregateDef.setResultType(Type resultType)

Method parameters in orc.ast.extended.declaration.def with type arguments of type Type

void	AggregateDef.setArgTypes(java.util.List<Type> argTypes)

Constructors in orc.ast.extended.declaration.def with parameters of type Type

DefMemberClause(java.lang.String name, java.util.List<java.util.List<Pattern>> formals, Expression body, Type resultType, java.util.List<java.lang.String> typeFormals, boolean strict)

DefMemberType(java.lang.String name, java.util.List<java.util.List<Type>> argTypesList, Type resultType, java.util.List<java.lang.String> typeParams)

Constructor parameters in orc.ast.extended.declaration.def with type arguments of type Type

DefMemberType(java.lang.String name, java.util.List<java.util.List<Type>> argTypesList, Type resultType, java.util.List<java.lang.String> typeParams)

Uses of Type in orc.ast.extended.declaration.type

Fields in orc.ast.extended.declaration.type declared as Type

Type	TypeAliasDeclaration.t

Fields in orc.ast.extended.declaration.type with type parameters of type Type

java.util.List<Type>

Constructor.args

Constructors in orc.ast.extended.declaration.type with parameters of type Type

TypeAliasDeclaration(java.lang.String typename, Type t, java.util.List<java.lang.String> formals)

Constructor parameters in orc.ast.extended.declaration.type with type arguments of type Type

Constructor(java.lang.String name, java.util.List<Type> args)

Uses of Type in orc.ast.extended.expression

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

Type	Lambda.resultType
protected Type	Catch.resultType
Type	HasType.type
Type	AssertType.type

Fields in orc.ast.extended.expression with type parameters of type Type

protected java.util.List<Type>	Catch.argTypes
java.util.List<Type>	Call.typeArgs

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

AssertType(Expression body, Type type)

HasType(Expression body, Type type)

Lambda(java.util.List<java.util.List<Pattern>> formals, Expression body, Type resultType, java.util.List<java.lang.String> typeFormals)

Constructor parameters in orc.ast.extended.expression with type arguments of type Type

Call(Expression caller, java.util.List<Expression> args, java.util.List<Type> typeArgs)

Uses of Type in orc.ast.extended.pattern

Fields in orc.ast.extended.pattern declared as Type

Type	TypedPattern.t

Constructors in orc.ast.extended.pattern with parameters of type Type

TypedPattern(Pattern p, Type t)

Uses of Type in orc.ast.extended.type

Subclasses of Type in orc.ast.extended.type

class	AssertedType A type which is in some asserted position.
class	Bot The type 'Bot', subtype of all other types.
class	LambdaType A lambda type: lambda[X,...,X](T,...,T) :: T
class	NamedType A simple named type.
class	Top The type 'Top', supertype of all other types.
class	TupleType A type tuple: (T,...,T)
class	TypeApplication A type instantiation with explicit type parameters: T[T,..,T]

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

static Type	Type.BOT
Type	LambdaType.resultType
static Type	Type.TOP
Type	AssertedType.type

Fields in orc.ast.extended.type with type parameters of type Type

java.util.List<java.util.List<Type>>	LambdaType.argTypes
java.util.List<Type>	TupleType.items
java.util.List<Type>	TypeApplication.params

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

AssertedType(Type type)

LambdaType(java.util.List<java.util.List<Type>> argTypes, Type resultType, java.util.List<java.lang.String> typeParams)

Constructor parameters in orc.ast.extended.type with type arguments of type Type

LambdaType(java.util.List<java.util.List<Type>> argTypes, Type resultType, java.util.List<java.lang.String> typeParams)

TupleType(java.util.List<Type> items)

TypeApplication(java.lang.String name, java.util.List<Type> params)