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 enum	TypeResolver.EmptyTypeEnv	Empty type environment.

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

Modifier and Type	Field	Description
private final 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(String name, Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.EmptyTypeEnv.bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Function<TypeSystem,Unifier.Term> termFactory)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Unifier.Term term)
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, Map<Ast.IdPat,Unifier.Term> termMap)

Methods in net.hydromatic.morel.compile that return types with arguments of type TypeResolver.TypeEnv

Modifier and Type	Method	Description
private Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)

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, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, Map<Ast.IdPat,Unifier.Term> termMap)
private List<Ast.Match>	TypeResolver.deduceMatchListType(TypeResolver.TypeEnv env, List<Ast.Match> matchList, NavigableSet<String> labelNames, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Match	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Map<Ast.IdPat,Unifier.Term> termMap, NavigableSet<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 Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator.
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.Pat	TypeResolver.patTuple(TypeResolver.TypeEnv env, List<Ast.Pat> patList)	Converts a list of patterns to a singleton pattern or tuple pattern.
private Ast.Exp	TypeResolver.prefix(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v)	Registers a prefix operator.
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

Modifier	Constructor	Description
(package private)	BindTypeEnv(String definedName, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
(package private)	TypeEnvHolder(TypeResolver.TypeEnv typeEnv)