Uses of Class
orc.type.Type

Packages that use Type

orc.ast.oil.expression
orc.ast.oil.expression.argument
orc.ast.oil.type
orc.error.compiletime.typing
orc.lib.bool
orc.lib.comp
orc.lib.math
orc.lib.state
orc.lib.state.types
orc.lib.str
orc.lib.time
orc.lib.util
orc.runtime.sites	Abstract base classes for Orc sites plus fundamental sites.
orc.runtime.sites.core	Fundamental sites.
orc.runtime.sites.java	Wrappers which enable using Java objects and classes as Orc sites.
orc.type
orc.type.ground
orc.type.inference
orc.type.java
orc.type.structured
orc.type.tycon

Uses of Type in orc.ast.oil.expression

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

Type	Call.findReturnType(TypingContext ctx, Type checkedType)
Type	WithLocation.typesynth(TypingContext ctx)
Type	Throw.typesynth(TypingContext ctx)
Type	Stop.typesynth(TypingContext ctx)
Type	Sequential.typesynth(TypingContext ctx)
Type	Pruning.typesynth(TypingContext ctx)
Type	Parallel.typesynth(TypingContext ctx)
Type	Otherwise.typesynth(TypingContext ctx)
Type	HasType.typesynth(TypingContext ctx)
abstract Type	Expression.typesynth(TypingContext ctx)
Type	DeclareType.typesynth(TypingContext ctx)
Type	DeclareDefs.typesynth(TypingContext ctx)
Type	Catch.typesynth(TypingContext ctx)
Type	Call.typesynth(TypingContext ctx)

Methods in orc.ast.oil.expression with parameters of type Type

Type	Call.findReturnType(TypingContext ctx, Type checkedType)
void	WithLocation.typecheck(TypingContext ctx, Type T)
void	Sequential.typecheck(TypingContext ctx, Type T)
void	Pruning.typecheck(TypingContext ctx, Type T)
void	Parallel.typecheck(TypingContext ctx, Type T)
void	Otherwise.typecheck(TypingContext ctx, Type T)
void	Expression.typecheck(TypingContext ctx, Type T)
void	DeclareType.typecheck(TypingContext ctx, Type T)
void	DeclareDefs.typecheck(TypingContext ctx, Type T)
void	Call.typecheck(TypingContext ctx, Type T)

Uses of Type in orc.ast.oil.expression.argument

Methods in orc.ast.oil.expression.argument that return Type

Type	Variable.typesynth(TypingContext ctx)
Type	Site.typesynth(TypingContext ctx)
Type	ResolvedSite.typesynth(TypingContext ctx)
Type	Field.typesynth(TypingContext ctx)
Type	Constant.typesynth(TypingContext ctx)

Uses of Type in orc.ast.oil.type

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

Type	InferredType.inferredType

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

Type	TypeVariable.transform(TypingContext ctx)
Type	TypeApplication.transform(TypingContext ctx)
abstract Type	Type.transform(TypingContext ctx) Convert this syntactic type into an actual type, given an appropriate type context
Type	TupleType.transform(TypingContext ctx)
Type	Top.transform(TypingContext ctx)
Type	SiteType.transform(TypingContext ctx)
Type	PolymorphicTypeAlias.transform(TypingContext ctx)
Type	InferredType.transform(TypingContext ctx)
Type	Datatype.transform(TypingContext ctx)
Type	ClassType.transform(TypingContext ctx)
Type	Bot.transform(TypingContext ctx)
Type	ArrowType.transform(TypingContext ctx)

Methods in orc.ast.oil.type that return types with arguments of type Type

static java.util.List<Type>

Type.transformAll(java.util.List<Type> ts, TypingContext ctx) Convenience method, to transform a list of types.

Method parameters in orc.ast.oil.type with type arguments of type Type

static java.util.List<Type>

Type.inferredTypes(java.util.List<Type> argTypes)

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

InferredType(Type inferredType)

Uses of Type in orc.error.compiletime.typing

Methods in orc.error.compiletime.typing with parameters of type Type

MultiTypeException

MultiTypeException.addAlternative(Type t, TypeException e)

Constructors in orc.error.compiletime.typing with parameters of type Type

SubtypeFailureException(Type S, Type T)

UncallableTypeException(Type t)

UnrepresentableTypeException(Type type)

Uses of Type in orc.lib.bool

Methods in orc.lib.bool that return Type

Type	BoolBinopSite.type()

Uses of Type in orc.lib.comp

Methods in orc.lib.comp that return Type

Type	ComparisonSite.type()

Uses of Type in orc.lib.math

Methods in orc.lib.math that return Type

Type	UMinus.type()
Type	Sub.type()
Type	Mult.type()
Type	Mod.type()
Type	Floor.type()
Type	Exponent.type()
Type	Div.type()
Type	Ceil.type()
Type	Add.type()

Uses of Type in orc.lib.state

Methods in orc.lib.state that return Type

Type	SyncChannel.type()
Type	Semaphore.type()
Type	Ref.type()
Type	Record.type()
Type	Counter.type()
Type	Cell.type()
Type	Buffer.type()
Type	BoundedBuffer.type()

Uses of Type in orc.lib.state.types

Subclasses of Type in orc.lib.state.types

class	ArrayType
class	BoundedBufferType
class	BufferType
class	CellType
class	CounterType
class	RefType
class	SemaphoreType
class	SyncChannelType

Methods in orc.lib.state.types that return Type

Type	SyncChannelType.makeCallableInstance(java.util.List<Type> params)
Type	RefType.makeCallableInstance(java.util.List<Type> params)
Type	CellType.makeCallableInstance(java.util.List<Type> params)
Type	BufferType.makeCallableInstance(java.util.List<Type> params)
Type	BoundedBufferType.makeCallableInstance(java.util.List<Type> params)
Type	ArrayType.makeCallableInstance(java.util.List<Type> params)

Method parameters in orc.lib.state.types with type arguments of type Type

Type	SyncChannelType.makeCallableInstance(java.util.List<Type> params)
Type	RefType.makeCallableInstance(java.util.List<Type> params)
Type	CellType.makeCallableInstance(java.util.List<Type> params)
Type	BufferType.makeCallableInstance(java.util.List<Type> params)
Type	BoundedBufferType.makeCallableInstance(java.util.List<Type> params)
Type	ArrayType.makeCallableInstance(java.util.List<Type> params)

Uses of Type in orc.lib.str

Methods in orc.lib.str that return Type

Type	Write.type()
Type	Read.type()
Type	Println.type()
Type	Print.type()
Type	Cat.type()

Uses of Type in orc.lib.time

Methods in orc.lib.time that return Type

Type	Rtimer.type()
Type	PushLtimer.type()
Type	PopLtimer.type()
Type	Ltimer.type()

Uses of Type in orc.lib.util

Methods in orc.lib.util that return Type

Type	UUID.type()
Type	URandom.type()
Type	Random.type()
Type	Prompt.type()
Type	JavaArray.type()
Type	Apply.type()

Uses of Type in orc.runtime.sites

Methods in orc.runtime.sites that return Type

Type	Site.type()

Uses of Type in orc.runtime.sites.core

Methods in orc.runtime.sites.core that return Type

Type	TryNil.type()
Type	TryCons.type()
Type	Some.type()
Type	SiteSite.type()
Type	Not.type()
Type	None.type()
Type	Nil.type()
Type	Let.type()
Type	IsSome.type()
Type	IsNone.type()
Type	Inequal.type()
Type	If.type()
Type	Error.type()
Type	Equal.type()
Type	Datatype.type()
Type	Cons.type()

Uses of Type in orc.runtime.sites.java

Methods in orc.runtime.sites.java that return Type

Type	ClassProxy.type()

Uses of Type in orc.type

Subclasses of Type in orc.type

class	TypeApplication An unevaluated type application.
class	TypeInstance A type constructor instantiated at particular types, e.g.
class	TypeVariable A bound type variable.

Fields in orc.type declared as Type

static Type	Type.BOOLEAN
static Type	Type.BOT
static Type	Type.INTEGER
static Type	Type.LET
static Type	Type.NUMBER
static Type	Type.SIGNAL
static Type	Type.STRING
static Type	Type.TOP
Type	TypeApplication.ty

Fields in orc.type with type parameters of type Type

java.util.List<Type>	TypeInstance.params
java.util.List<Type>	TypeApplication.params
protected Env<Type>	TypingContext.typeContext
protected Env<Type>	TypingContext.varContext

Methods in orc.type that return Type

Type	TypeInstance.call(java.util.List<Type> args)
Type	Type.call(java.util.List<Type> args)
Type	TypeInstance.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	Type.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	TypeVariable.demote(Env<java.lang.Boolean> V)
Type	TypeInstance.demote(Env<java.lang.Boolean> V)
Type	Type.demote(Env<java.lang.Boolean> V)
static Type	Type.fromJavaClass(java.lang.Class cls) Convert a Java class to an Orc type.
static Type	Type.fromJavaMethod(java.lang.reflect.Method mth, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx)
static Type	Type.fromJavaMethods(java.util.List<java.lang.reflect.Method> matchingMethods, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a list of Java Methods, which are assumed to be the declarations of an overloaded method, create an Orc type, either an ArrowType for a singleton method or a MultiType for multiple methods, to typecheck the possible invocations of that method.
static Type	Type.fromJavaType(java.lang.reflect.Type genericType)
static Type	Type.fromJavaType(java.lang.reflect.Type genericType, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a Java type, possibly a generic type, create an Orc type.
Type	TypeInstance.join(Type that)
Type	Type.join(Type that)
Type	TypingContext.lookupType(int var) Find the binding for this type variable.
Type	TypingContext.lookupVar(int var) Find the binding for this program variable.
Type	TypeInstance.meet(Type that)
Type	Type.meet(Type that)
Type	TypeVariable.promote(Env<java.lang.Boolean> V)
Type	TypeInstance.promote(Env<java.lang.Boolean> V)
Type	Type.promote(Env<java.lang.Boolean> V)
Type	TypingContext.promote(Type t)
Type	TypingContext.requestInference(ArrowType arrowType)
Type	TypingContext.resolveClassType(java.lang.String classname)
Type	Type.resolveSites(Config config)
Type	TypingContext.resolveSiteType(java.lang.String classname)
Type	TypeVariable.subst(Env<Type> ctx)
Type	TypeInstance.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	Type.subst(Env<Type> ctx)
Type	TypingContext.subst(Type T)
Type	TypeInstance.unwrapAs(Type T)
Type	Type.unwrapAs(Type T)

Methods in orc.type that return types with arguments of type Type

static java.util.Map<java.lang.reflect.TypeVariable,Type>	Type.makeJavaCtx()
static java.util.Map<java.lang.reflect.TypeVariable,Type>	Type.makeJavaCtx(java.lang.Class cls, java.util.List<Type> typeActuals) From a class with Java type formals and a list of actual Orc type parameters, create a mapping from those Java variables to their appropriate Orc type bindings.
java.util.List<Type>	TypingContext.promoteAll(java.util.List<Type> ts)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)

Methods in orc.type with parameters of type Type

void	TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeInstance.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	Type.assertSubtype(Type that)
TypingContext	TypingContext.bindType(Type T)
TypingContext	TypingContext.bindVar(Type T)
boolean	Type.equal(Type that)
Type	TypeInstance.join(Type that)
Type	Type.join(Type that)
Type	TypeInstance.meet(Type that)
Type	Type.meet(Type that)
Type	TypingContext.subst(Type T)
boolean	TypeVariable.subtype(Type that)
boolean	TypeInstance.subtype(Type that)
boolean	Type.subtype(Type that)
boolean	Type.supertype(Type that)
Type	TypeInstance.unwrapAs(Type T)
Type	Type.unwrapAs(Type T)

Method parameters in orc.type with type arguments of type Type

static java.util.Set<java.lang.Integer>	Type.allFreeVars(java.util.Collection<Type> collection)
Type	TypeInstance.call(java.util.List<Type> args)
Type	Type.call(java.util.List<Type> args)
Type	TypeInstance.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	Type.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
static Type	Type.fromJavaMethod(java.lang.reflect.Method mth, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx)
static Type	Type.fromJavaMethods(java.util.List<java.lang.reflect.Method> matchingMethods, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a list of Java Methods, which are assumed to be the declarations of an overloaded method, create an Orc type, either an ArrowType for a singleton method or a MultiType for multiple methods, to typecheck the possible invocations of that method.
static Type	Type.fromJavaType(java.lang.reflect.Type genericType, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a Java type, possibly a generic type, create an Orc type.
static java.util.Map<java.lang.reflect.TypeVariable,Type>	Type.makeJavaCtx(java.lang.Class cls, java.util.List<Type> typeActuals) From a class with Java type formals and a list of actual Orc type parameters, create a mapping from those Java variables to their appropriate Orc type bindings.
Type	TypeVariable.subst(Env<Type> ctx)
Type	TypeInstance.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	Type.subst(Env<Type> ctx)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)

Constructors in orc.type with parameters of type Type

TypeApplication(Type ty, java.util.List<Type> params)

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

TypeApplication(Type ty, java.util.List<Type> params)

TypeInstance(Tycon tycon, java.util.List<Type> params)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config, InferenceContinuation ic)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config, InferenceContinuation ic)

Uses of Type in orc.type.ground

Subclasses of Type in orc.type.ground

class	BooleanType
class	Bot The bottom type.
class	ConstIntType
class	DatatypeSiteType
class	IntegerType
class	LetType The special type of the let site.
class	Message
class	NumberType
class	SignalType The type of signals.
class	StringType
class	Top The Top type.

Methods in orc.type.ground that return Type

Type	LetType.call(java.util.List<Type> args)
Type	Bot.call(java.util.List<Type> args)
Type	StringType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	NumberType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	IntegerType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DatatypeSiteType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	BooleanType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
static Type	LetType.condense(java.util.List<Type> types) Classic 'let' functionality, at the type level.
Type	ConstIntType.join(Type that)
Type	Bot.join(Type that)
Type	Bot.meet(Type that)

Methods in orc.type.ground with parameters of type Type

boolean	Message.equal(Type that)
boolean	Bot.equal(Type that)
Type	ConstIntType.join(Type that)
Type	Bot.join(Type that)
Type	Bot.meet(Type that)
boolean	Top.subtype(Type that)
boolean	Message.subtype(Type that)
boolean	LetType.subtype(Type that)
boolean	ConstIntType.subtype(Type that)
boolean	Bot.subtype(Type that)

Method parameters in orc.type.ground with type arguments of type Type

Type	LetType.call(java.util.List<Type> args)
Type	Bot.call(java.util.List<Type> args)
Type	StringType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	NumberType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	IntegerType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DatatypeSiteType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	BooleanType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
static Type	LetType.condense(java.util.List<Type> types) Classic 'let' functionality, at the type level.

Uses of Type in orc.type.inference

Fields in orc.type.inference declared as Type

Type	Constraint.lower
Type	Constraint.upper

Methods in orc.type.inference that return Type

abstract Type	InferenceContinuation.inferFrom(ArrowType arrowType)
Type	Constraint.minimal(Variance v)

Methods in orc.type.inference with parameters of type Type

void	Constraint.atLeast(Type T)
void	Constraint.atMost(Type T)

Uses of Type in orc.type.java

Subclasses of Type in orc.type.java

class	ClassTycon
class	ConstructorType Type associated with a class constructor.

Methods in orc.type.java that return Type

Type	ConstructorType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	ClassTycon.makeCallableInstance(java.util.List<Type> params)

Methods in orc.type.java with parameters of type Type

boolean	ConstructorType.subtype(Type that)
boolean	ClassTycon.subtype(Type that)

Method parameters in orc.type.java with type arguments of type Type

Type	ConstructorType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	ClassTycon.makeCallableInstance(java.util.List<Type> params)

Uses of Type in orc.type.structured

Subclasses of Type in orc.type.structured

class	ArrowType
class	DotType Composite type for sites which can receive messages (using the .
class	EllipsisArrowType
class	ListType
class	MultiType A composite type supporting ad-hoc polymorphic calls.
class	OptionType
class	TupleType

Fields in orc.type.structured declared as Type

static Type	DotType.NODEFAULT
Type	EllipsisArrowType.repeatedArgType
Type	EllipsisArrowType.resultType
Type	ArrowType.resultType

Fields in orc.type.structured with type parameters of type Type

java.util.List<Type>	ArrowType.argTypes
java.util.List<Type>	TupleType.items

Methods in orc.type.structured that return Type

Type	TupleType.call(java.util.List<Type> args)
Type	EllipsisArrowType.call(java.util.List<Type> args)
Type	DotType.call(java.util.List<Type> args)
Type	MultiType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DotType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	TupleType.demote(Env<java.lang.Boolean> V)
Type	ArrowType.demote(Env<java.lang.Boolean> V)
Type	TupleType.join(Type that)
Type	EllipsisArrowType.join(Type that)
Type	ArrowType.join(Type that)
static Type	ListType.listOf(Type T)
Type	TupleType.meet(Type that)
Type	EllipsisArrowType.meet(Type that)
Type	ArrowType.meet(Type that)
Type	TupleType.promote(Env<java.lang.Boolean> V)
Type	ArrowType.promote(Env<java.lang.Boolean> V)
Type	TupleType.subst(Env<Type> ctx)
Type	ArrowType.subst(Env<Type> ctx)

Methods in orc.type.structured with parameters of type Type

void	TupleType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	ArrowType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
DotType	DotType.addField(java.lang.String key, Type T)
protected ArrowType	ArrowType.forceArrow(Type that)
Type	TupleType.join(Type that)
Type	EllipsisArrowType.join(Type that)
Type	ArrowType.join(Type that)
static Type	ListType.listOf(Type T)
Type	TupleType.meet(Type that)
Type	EllipsisArrowType.meet(Type that)
Type	ArrowType.meet(Type that)
boolean	TupleType.subtype(Type that)
boolean	MultiType.subtype(Type that)
boolean	EllipsisArrowType.subtype(Type that)
boolean	DotType.subtype(Type that)
boolean	ArrowType.subtype(Type that)

Method parameters in orc.type.structured with type arguments of type Type

Type	TupleType.call(java.util.List<Type> args)
Type	EllipsisArrowType.call(java.util.List<Type> args)
Type	DotType.call(java.util.List<Type> args)
Type	MultiType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DotType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	TupleType.subst(Env<Type> ctx)
Type	ArrowType.subst(Env<Type> ctx)

Constructors in orc.type.structured with parameters of type Type

ArrowType(java.util.List<Type> argTypes, Type resultType)

ArrowType(java.util.List<Type> argTypes, Type resultType, int typeArity)

ArrowType(Type resultType)

ArrowType(Type resultType, int typeArity)

ArrowType(Type argType, Type resultType)

ArrowType(Type argType, Type resultType, int typeArity)

ArrowType(Type firstArgType, Type secondArgType, Type resultType)

ArrowType(Type firstArgType, Type secondArgType, Type resultType, int typeArity)

DotType(Type defaultType)

EllipsisArrowType(Type repeatedArgType, Type resultType)

MultiType(Type A, Type B)

TupleType(Type a, Type b)

Constructor parameters in orc.type.structured with type arguments of type Type

ArrowType(java.util.List<Type> argTypes, Type resultType)

ArrowType(java.util.List<Type> argTypes, Type resultType, int typeArity)

MultiType(java.util.List<Type> alts)

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

Uses of Type in orc.type.tycon

Subclasses of Type in orc.type.tycon

class	DatatypeTycon Type constructor encompassing all type-level information associated with a datatype.
class	ImmutableContainerType
class	MutableContainerType
class	PolymorphicAliasedType A type-level representation of a user-defined type alias with type parameters.
class	Tycon Root class for all type constructors.

Fields in orc.type.tycon declared as Type

Type	PolymorphicAliasedType.type

Methods in orc.type.tycon that return Type

Type	Tycon.instance()
Type	Tycon.instance(java.util.List<Type> params)
Type	PolymorphicAliasedType.instance(java.util.List<Type> params)
Type	Tycon.instance(Type param)
abstract Type	Variance.join(Type S, Type T)
Type	Tycon.makeCallableInstance(java.util.List<Type> params)
abstract Type	Variance.meet(Type S, Type T)
abstract Type	Variance.minimum(Type S, Type T)
Type	DatatypeTycon.subst(Env<Type> ctx)

Methods in orc.type.tycon that return types with arguments of type Type

java.util.List<java.util.List<Type>>

DatatypeTycon.getConstructors()

Methods in orc.type.tycon with parameters of type Type

Type	Tycon.instance(Type param)
abstract Type	Variance.join(Type S, Type T)
abstract Type	Variance.meet(Type S, Type T)
abstract Type	Variance.minimum(Type S, Type T)
abstract boolean	Variance.subtype(Type S, Type T)

Method parameters in orc.type.tycon with type arguments of type Type

Type	Tycon.instance(java.util.List<Type> params)
Type	PolymorphicAliasedType.instance(java.util.List<Type> params)
Type	Tycon.makeCallableInstance(java.util.List<Type> params)
Type	DatatypeTycon.subst(Env<Type> ctx)

Constructors in orc.type.tycon with parameters of type Type

PolymorphicAliasedType(Type type, java.util.List<Variance> inferredVariances)

Constructor parameters in orc.type.tycon with type arguments of type Type

DatatypeTycon(java.lang.String name, java.util.List<Variance> vs, java.util.List<java.util.List<Type>> cs, java.lang.Object id)