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

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)	Deduces the type of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceType_(Environment env, Ast.Decl decl)
(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<String,ForeignValue> valueMap)	Validates an expression or declaration, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.