Uses of Class
net.hydromatic.morel.compile.TypeMap

Packages that use TypeMap

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

Fields in net.hydromatic.morel.compile declared as TypeMap

Modifier and Type	Field	Description
(package private) final TypeMap	Resolver.typeMap
private final TypeMap	TypeMap.TermToTypeConverter.typeMap
final TypeMap	TypeResolver.Resolved.typeMap

Methods in net.hydromatic.morel.compile with parameters of type TypeMap

Modifier and Type	Method	Description
private static void	TypeResolver.checkNoUnresolvedFieldRefs(Ast.Decl decl, TypeMap typeMap)	Checks that there are no field references "x.y" or "#y x" where "x" has an unresolved type.
private static void	TypeResolver.forEachUnresolvedField(Ast.Decl decl, TypeMap typeMap, Consumer<Ast.Apply> consumer)
static Resolver	Resolver.of(TypeMap typeMap, Environment env, @Nullable Session session)	Creates a root Resolver.
(package private) static TypeResolver.Resolved	TypeResolver.Resolved.of(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)

Constructors in net.hydromatic.morel.compile with parameters of type TypeMap

Modifier	Constructor	Description
private	Resolved(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Environment env, @Nullable Session session)
(package private)	TermToTypeConverter(TypeMap typeMap)