Uses of Class
net.hydromatic.morel.type.TypeVar

Packages that use TypeVar

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.type	Type system.

Uses of TypeVar in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as TypeVar

Modifier and Type	Field	Description
(package private) final TypeVar	TypeResolver.PlusSubst.typeVar

Fields in net.hydromatic.morel.compile with type parameters of type TypeVar

Modifier and Type	Field	Description
private final Map<String,TypeVar>	TypeMap.typeVars	Map from type variable name to type variable.

Methods in net.hydromatic.morel.compile with parameters of type TypeVar

Modifier and Type	Method	Description
(package private) Unifier.Variable	TypeResolver.EmptySubst.get(TypeVar typeVar)
(package private) Unifier.Variable	TypeResolver.PlusSubst.get(TypeVar typeVar)
(package private) abstract Unifier.Variable	TypeResolver.Subst.get(TypeVar typeVar)
(package private) TypeResolver.Subst	TypeResolver.Subst.plus(TypeVar typeVar, Unifier.Variable variable)

Constructors in net.hydromatic.morel.compile with parameters of type TypeVar

Modifier	Constructor	Description
(package private)	PlusSubst(TypeResolver.Subst parent, TypeVar typeVar, Unifier.Variable variable)

Uses of TypeVar in net.hydromatic.morel.type

Fields in net.hydromatic.morel.type with type parameters of type TypeVar

Modifier and Type	Field	Description
(package private) final Set<TypeVar>	TypeSystem.VariableCollector.vars

Methods in net.hydromatic.morel.type that return TypeVar

Modifier and Type	Method	Description
TypeVar	TypeSystem.ForallHelper.get(int i)	Creates type `i.
TypeVar	TypeSystem.typeVariable(int ordinal)	Creates a type variable.

Methods in net.hydromatic.morel.type that return types with arguments of type TypeVar

Modifier and Type	Method	Description
List<TypeVar>	TypeSystem.typeVariables(int size)

Methods in net.hydromatic.morel.type with parameters of type TypeVar

Modifier and Type	Method	Description
Type	TypeShuttle.visit(TypeVar typeVar)
Void	TypeSystem.VariableCollector.visit(TypeVar typeVar)
R	TypeVisitor.visit(TypeVar typeVar)	Visits a TypeVar.

Method parameters in net.hydromatic.morel.type with type arguments of type TypeVar

Modifier and Type	Method	Description
Type	TypeSystem.dataTypeScheme(String name, List<TypeVar> parameters, SortedMap<String,Type.Key> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g.