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

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

Modifier and Type	Method	Description
protected Ast.Pat	Shuttle.visit(Ast.IdPat idPat)

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, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.deduceDatatypeBindType(TypeResolver.TypeEnv env, Ast.DatatypeBind datatypeBind, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private AstNode	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Pat	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, java.util.Map<Ast.IdPat,Unifier.Term> termMap, java.util.NavigableSet<java.lang.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, java.util.Map<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable v)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, java.util.Map<Ast.IdPat,Unifier.Term> termMap)
private void	Compiler.link(java.util.Map<Ast.IdPat,Compiler.LinkCode> linkCodes, Ast.Pat pat, Code code)