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) TypeVar	TypeResolver.PlusSubst.typeVar

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

Modifier and Type	Field	Description
private Map<String,TypeVar>	TypeMap.typeVars
private Map<String,TypeVar>	TypeResolver.tyVarMap

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

Modifier and Type	Method	Description
TypeVar	BuiltIn.DataTypeHelper.get(int i)

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

Constructor	Description
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) com.google.common.collect.ImmutableList<TypeVar>	Keys.ForallKey.parameterTypes
List<TypeVar>	ForallType.typeVars
(package private) 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
private 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> typeParameters, SortedMap<String,Type> tyCons)	Creates a data type scheme: a datatype if there are no type arguments (e.g.
static Type.Key	Keys.forall(Type type, List<TypeVar> parameterTypes)	Returns a key that identifies a ForallType.
ForallType	TypeSystem.forallType(List<TypeVar> typeVars, Type type)	Creates a "for all" type.

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

Constructor	Description
ForallKey(Type type, com.google.common.collect.ImmutableList<TypeVar> parameterTypes)
ForallType(com.google.common.collect.ImmutableList<TypeVar> typeVars, Type type)