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

Packages that use TypeResolver.Resolved

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

Fields in net.hydromatic.morel.compile with type parameters of type TypeResolver.Resolved

Modifier and Type	Field	Description
private final List<Consumer<TypeResolver.Resolved>>	TypeResolver.validations

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

Modifier and Type	Method	Description
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem, Consumer<CompileException> warningConsumer)	Deduces the datatype of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceType_(Environment env, Ast.Decl decl)	Deduces the datatype of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceTypeWithRetries(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the datatype of a declaration, retrying each time a node is expanded.
(package private) static TypeResolver.Resolved	TypeResolver.Resolved.of(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)
static TypeResolver.Resolved	Compiles.validateExpression(AstNode statement, Map<Prop,Object> propMap, Map<String,ForeignValue> valueMap, Consumer<CompileException> warningConsumer)	Validates an expression or declaration, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.