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

Packages that use Ast.IdPat

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.IdPat in net.hydromatic.morel.ast

Fields in net.hydromatic.morel.ast declared as Ast.IdPat

Modifier and Type	Field	Description
Ast.IdPat	Ast.AsPat.id

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

Modifier and Type	Method	Description
Ast.AsPat	AstBuilder.asPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
Ast.AsPat	Ast.AsPat.copy(Ast.IdPat id, Ast.Pat pat)	Creates a copy of this AsPat with given contents, or this if the contents are the same.
protected Ast.Pat	Shuttle.visit(Ast.IdPat idPat)
protected void	Visitor.visit(Ast.IdPat idPat)

Constructors in net.hydromatic.morel.ast with parameters of type Ast.IdPat

Constructor	Description
AsPat(Pos pos, Ast.IdPat id, Ast.Pat pat)

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

Method parameters in net.hydromatic.morel.compile with type arguments of type Ast.IdPat

Modifier and Type	Method	Description
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, Map<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.deduceDatatypeBindType(TypeResolver.TypeEnv env, Ast.DatatypeBind datatypeBind, Map<Ast.IdPat,Unifier.Term> termMap, TypeResolver.DatatypeBindWorkspace w)
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Match	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Map<Ast.IdPat,Unifier.Term> termMap, NavigableSet<String> labelNames, Unifier.Variable v)	Derives a type term for a pattern, collecting the names of pattern variables.
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, Map<Ast.IdPat,Unifier.Term> termMap)