Uses of Class
orc.ast.simple.type.FreeTypeVariable

Packages that use FreeTypeVariable

orc.ast.simple.expression
orc.ast.simple.type

Uses of FreeTypeVariable in orc.ast.simple.expression

Methods in orc.ast.simple.expression with parameters of type FreeTypeVariable

Expression	WithLocation.subst(Type T, FreeTypeVariable X)
Expression	Throw.subst(Type T, FreeTypeVariable X)
Expression	Stop.subst(Type T, FreeTypeVariable X)
Expression	Sequential.subst(Type T, FreeTypeVariable X)
Expression	Pruning.subst(Type T, FreeTypeVariable X)
Expression	Parallel.subst(Type T, FreeTypeVariable X)
Expression	Otherwise.subst(Type T, FreeTypeVariable X)
Expression	Let.subst(Type T, FreeTypeVariable X)
Expression	HasType.subst(Type T, FreeTypeVariable X)
abstract Expression	Expression.subst(Type T, FreeTypeVariable X) Performs the substitution [T/X], replacing occurrences of the free type variable X with the type T (which could be any type, including another variable).
Def	Def.subst(Type T, FreeTypeVariable X)
Expression	DeclareType.subst(Type T, FreeTypeVariable X)
Expression	DeclareDefs.subst(Type T, FreeTypeVariable X)
Expression	Catch.subst(Type T, FreeTypeVariable X)
Expression	Call.subst(Type T, FreeTypeVariable X)
static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Type T, FreeTypeVariable X)
Expression	Expression.subvar(TypeVariable U, FreeTypeVariable X) Performs the substitution [U/X], replacing occurrences of the free type variable X with the nameless type variable U.

Uses of FreeTypeVariable in orc.ast.simple.type

Methods in orc.ast.simple.type with parameters of type FreeTypeVariable

int	FreeTypeVariable.compareTo(FreeTypeVariable f)
Type	TypeVariable.subst(Type T, FreeTypeVariable X)
Type	TypeApplication.subst(Type T, FreeTypeVariable X)
abstract Type	Type.subst(Type T, FreeTypeVariable X) Performs the substitution [T/X], replacing occurrences of the free type variable X with the type T (which could be any type, including another variable).
Type	TupleType.subst(Type T, FreeTypeVariable X)
Type	Top.subst(Type T, FreeTypeVariable X)
Type	SiteType.subst(Type T, FreeTypeVariable X)
Type	PolymorphicTypeAlias.subst(Type T, FreeTypeVariable X)
Type	FreeTypeVariable.subst(Type T, FreeTypeVariable X)
Type	Datatype.subst(Type T, FreeTypeVariable X)
Type	ClassnameType.subst(Type T, FreeTypeVariable X)
Type	Bot.subst(Type T, FreeTypeVariable X)
Type	ArrowType.subst(Type T, FreeTypeVariable X)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Type T, FreeTypeVariable X) Convenience method, to apply a substitution to a list of types.
static Type	Type.substMaybe(Type target, Type T, FreeTypeVariable X)
Type	Type.subvar(TypeVariable U, FreeTypeVariable X) Performs the substitution [U/X], replacing occurrences of the free type variable X with the nameless type variable U.

Method parameters in orc.ast.simple.type with type arguments of type FreeTypeVariable

Type	Type.subMap(java.util.Map<FreeTypeVariable,Type> m) Perform a set of substitutions defined by a map.