Uses of Class
net.hydromatic.morel.compile.TypeResolver.Subst

Packages that use TypeResolver.Subst

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

Uses of TypeResolver.Subst in net.hydromatic.morel.compile

Subclasses of TypeResolver.Subst in net.hydromatic.morel.compile

Modifier and Type	Class	Description
private static class	TypeResolver.EmptySubst	Empty substitution.
private static class	TypeResolver.PlusSubst	Substitution that adds one (type, variable) assignment to a parent substitution.

Fields in net.hydromatic.morel.compile declared as TypeResolver.Subst

Modifier and Type	Field	Description
(package private) static TypeResolver.Subst	TypeResolver.Subst.EMPTY
(package private) TypeResolver.Subst	TypeResolver.PlusSubst.parent

Methods in net.hydromatic.morel.compile that return TypeResolver.Subst

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

Methods in net.hydromatic.morel.compile with parameters of type TypeResolver.Subst

Modifier and Type	Method	Description
private Unifier.Term	TypeResolver.toTerm(Type type, TypeResolver.Subst subst)
private List<Unifier.Term>	TypeResolver.toTerms(Iterable<? extends Type> types, TypeResolver.Subst subst)

Constructors in net.hydromatic.morel.compile with parameters of type TypeResolver.Subst

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