Uses of Interface
net.hydromatic.morel.compile.TypeResolver.TypeEnv

Packages that use TypeResolver.TypeEnv

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.TypeEnv in net.hydromatic.morel.compile

Classes in net.hydromatic.morel.compile that implement TypeResolver.TypeEnv

Modifier and Type	Class	Description
private static class	TypeResolver.BindTypeEnv	A type environment that consists of a type environment plus one binding.
(package private) static class	TypeResolver.EmptyTypeEnv	Empty type environment.

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

Modifier and Type	Field	Description
private TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.parent
private TypeResolver.TypeEnv	TypeResolver.TypeEnvHolder.typeEnv

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

Modifier and Type	Method	Description
TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.EmptyTypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(java.lang.String name, java.util.function.Function<TypeSystem,Unifier.Term> termFactory)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(java.lang.String name, Unifier.Term term)
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, java.util.Map<Ast.IdPat,Unifier.Term> termMap)

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

Modifier and Type	Method	Description
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Exp	TypeResolver.comparison(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator whose type is a given type and whose arguments are the same type.
private Ast.Exp	TypeResolver.deduceConsType(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)
private void	TypeResolver.deduceDatatypeBindType(TypeResolver.TypeEnv env, Ast.DatatypeBind datatypeBind, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.deduceMatchListType(TypeResolver.TypeEnv env, java.util.List<Ast.Match> matchList, java.util.NavigableSet<java.lang.String> labelNames, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private AstNode	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, java.util.Map<Ast.IdPat,Unifier.Term> termMap, java.util.NavigableSet<java.lang.String> labelNames, Unifier.Variable v)	Derives a type term for a pattern, collecting the names of pattern variables.
private Ast.RecordSelector	TypeResolver.deduceRecordSelectorType(TypeResolver.TypeEnv env, Unifier.Variable vResult, Unifier.Variable vArg, Ast.RecordSelector recordSelector)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private Ast.Exp	TypeResolver.infixOverloaded(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.opOverloaded(TypeResolver.TypeEnv env, Ast.Exp call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Pat	TypeResolver.patTuple(TypeResolver.TypeEnv env, java.util.List<Ast.Pat> patList)	Converts a list of patterns to a singleton pattern or tuple pattern.
private Ast.Exp	TypeResolver.prefixOverloaded(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.ValBind	TypeResolver.toValBind(TypeResolver.TypeEnv env, Ast.FunBind funBind)
private Ast.ValDecl	TypeResolver.toValDecl(TypeResolver.TypeEnv env, Ast.FunDecl funDecl)	Converts a function declaration to a value declaration.

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

Constructor	Description
BindTypeEnv(java.lang.String definedName, java.util.function.Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
TypeEnvHolder(TypeResolver.TypeEnv typeEnv)