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.
private class	TypeResolver.EnvironmentTypeEnv	Type environment based on an Environment.

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

Modifier and Type	Field	Description
(package private) final TypeResolver.TypeEnv	TypeResolver.Triple.env
private final TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.parent
private final TypeResolver.TypeEnv	TypeResolver.EnvironmentTypeEnv.parent
private TypeResolver.TypeEnv	TypeResolver.TypeEnvHolder.typeEnv

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

Modifier and Type	Method	Description
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Unifier.Term term)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Unifier.Term term)
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, PairList<Ast.IdPat,Unifier.Term> termMap)
private TypeResolver.TypeEnv	TypeResolver.BindTypeEnv.getAncestor()	Returns the nearest ancestor of this environment that is not a TypeResolver.BindTypeEnv.

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, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Exp	TypeResolver.deduceApplyFnType(TypeResolver.TypeEnv env, Ast.Exp fn, Unifier.Variable vFn, Unifier.Variable vArg, Unifier.Variable vResult)	Deduces the datatype of a function being applied to an argument.
private Ast.Apply	TypeResolver.deduceApplyType(TypeResolver.TypeEnv env, Ast.Apply apply, Unifier.Variable v)
private Ast.Case	TypeResolver.deduceCaseType(TypeResolver.TypeEnv env, Ast.Case case_, Unifier.Variable v)
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, PairList<Ast.IdPat,Unifier.Term> termMap)
private TypeResolver.Triple	TypeResolver.deduceGroupStepType(TypeResolver.TypeEnv env, Ast.Group group, TypeResolver.Triple p, PairList<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
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, BiConsumer<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Decl	TypeResolver.deduceOverDeclType(TypeResolver.TypeEnv env, Ast.OverDecl overDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Consumer<TypeResolver.PatTerm> termMap, @Nullable NavigableSet<String> labelNames, Unifier.Variable v, UnaryOperator<Unifier.Term> accessor)	Derives a type term for a pattern, collecting the names of pattern variables.
private Ast.Query	TypeResolver.deduceQueryType(TypeResolver.TypeEnv env, Ast.Query query, Unifier.Variable v)
private Ast.RecordSelector	TypeResolver.deduceRecordSelectorType(TypeResolver.TypeEnv env, Ast.RecordSelector recordSelector, Unifier.Variable vArg, Unifier.Variable vResult)
private TypeResolver.Triple	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, TypeResolver.Triple p, PairList<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, PairList<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Exp	TypeResolver.deduceYieldType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)	Deduces a yield expression's type.
private @Nullable Type	TypeResolver.getType(TypeResolver.TypeEnv env, Ast.Exp exp)
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.
(package private) static TypeResolver.Triple	TypeResolver.Triple.of(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)
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.
(package private) static TypeResolver.Triple	TypeResolver.Triple.singleton(TypeResolver.TypeEnv env, Unifier.Variable v)	Represents a singleton, not a collection.
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.
(package private) TypeResolver.Triple	TypeResolver.Triple.withEnv(TypeResolver.TypeEnv env)

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

Modifier	Constructor	Description
(package private)	BindTypeEnv(String definedName, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
(package private)	EnvironmentTypeEnv(Environment env, TypeResolver.TypeEnv parent)
private	Triple(TypeResolver.TypeEnv env, Unifier.Variable v, Unifier.Variable c)
(package private)	TypeEnvHolder(TypeResolver.TypeEnv typeEnv)