Uses of Class
net.hydromatic.morel.ast.Ast.ValBind

Packages that use Ast.ValBind

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of Ast.ValBind in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast with type parameters of type Ast.ValBind

Modifier and Type	Field	Description
final List<Ast.ValBind>	Ast.ValDecl.valBinds

Methods in net.hydromatic.morel.ast that return Ast.ValBind

Modifier and Type	Method	Description
Ast.ValBind	Ast.ValBind.copy(Ast.Pat pat, Ast.Exp exp)	Creates a copy of this ValBind with given contents, or this if the contents are the same.
Ast.ValBind	AstBuilder.valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
protected Ast.ValBind	Shuttle.visit(Ast.ValBind valBind)

Methods in net.hydromatic.morel.ast with parameters of type Ast.ValBind

Modifier and Type	Method	Description
Ast.ValDecl	AstBuilder.valDecl(Pos pos, boolean rec, Ast.ValBind... valBinds)
protected Ast.ValBind	Shuttle.visit(Ast.ValBind valBind)
protected void	Visitor.visit(Ast.ValBind valBind)

Method parameters in net.hydromatic.morel.ast with type arguments of type Ast.ValBind

Modifier and Type	Method	Description
Ast.ValDecl	Ast.ValDecl.copy(Iterable<Ast.ValBind> valBinds)	Creates a copy of this ValDecl with given contents, or this if the contents are the same.
Ast.ValDecl	AstBuilder.valDecl(Pos pos, boolean rec, Iterable<? extends Ast.ValBind> valBinds)

Constructor parameters in net.hydromatic.morel.ast with type arguments of type Ast.ValBind

Modifier	Constructor	Description
protected	ValDecl(Pos pos, boolean rec, com.google.common.collect.ImmutableList<Ast.ValBind> valBinds)

Uses of Ast.ValBind in net.hydromatic.morel.compile

Methods in net.hydromatic.morel.compile that return Ast.ValBind

Modifier and Type	Method	Description
private Ast.ValBind	TypeResolver.toValBind(TypeResolver.TypeEnv env, Ast.FunBind funBind)

Methods in net.hydromatic.morel.compile with parameters of type Ast.ValBind

Modifier and Type	Method	Description
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v, Unifier.Variable vPat)