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

Packages that use TypeResolver.DatatypeBindWorkspace

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

Methods in net.hydromatic.morel.compile with parameters of type TypeResolver.DatatypeBindWorkspace

Modifier and Type	Method	Description
private void	TypeResolver.deduceDatatypeBindType(TypeResolver.TypeEnv env, Ast.DatatypeBind datatypeBind, Map<Ast.IdPat,Unifier.Term> termMap, TypeResolver.DatatypeBindWorkspace w)