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
(package private) java.util.Map<java.lang.String,TypeVar>	TypeResolver.TypeMap.typeVars
(package private) java.util.Map<java.lang.String,TypeVar>	TypeResolver.tyVarMap

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
java.util.List<TypeVar>	DataType.typeVars
java.util.List<TypeVar>	ForallType.typeVars
(package private) java.util.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)
TypeVar	TypeSystem.typeVariable(int ordinal)

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

Modifier and Type	Method	Description
java.lang.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
DataType	TypeSystem.dataType(java.lang.String name, java.util.List<TypeVar> typeVars, java.util.Map<java.lang.String,Type> tyCons)	Creates a data type.
Type	TypeSystem.forallType(java.lang.Iterable<TypeVar> typeVars, Type type)	Creates a "forall" type.

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

Constructor	Description
DataType(TypeSystem typeSystem, java.lang.String name, java.lang.String description, java.util.List<TypeVar> typeVars, java.util.SortedMap<java.lang.String,Type> typeConstructors)	Creates a DataType.
ForallType(java.lang.String description, com.google.common.collect.ImmutableList<TypeVar> typeVars, Type type)