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

Packages that use Ast.Id

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

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

Modifier and Type	Field	Description
final Ast.Id	Ast.Aggregate.id
final Ast.Id	Ast.TyCon.id
final Ast.Id	Ast.DatatypeBind.name
final Ast.Id	Ast.Con0Pat.tyCon
final Ast.Id	Ast.ConPat.tyCon

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

Modifier and Type	Field	Description
final ImmutablePairList<Ast.Id,Ast.Exp>	Ast.Group.groupExps

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

Modifier and Type	Method	Description
Ast.Id	Ast.Id.accept(Shuttle shuttle)
Ast.Id	AstBuilder.id(Pos pos, String name)
protected Ast.Id	Shuttle.visit(Ast.Id id)

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

Modifier and Type	Method	Description
Ast.Aggregate	AstBuilder.aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Con0Pat	AstBuilder.con0Pat(Pos pos, Ast.Id tyCon)
Ast.ConPat	AstBuilder.conPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
Ast.Aggregate	Ast.Aggregate.copy(Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Con0Pat	Ast.Con0Pat.copy(Ast.Id tyCon)	Creates a copy of this Con0Pat with given contents, or this if the contents are the same.
Ast.ConPat	Ast.ConPat.copy(Ast.Id tyCon, Ast.Pat pat)	Creates a copy of this ConPat with given contents, or this if the contents are the same.
Ast.DatatypeBind	AstBuilder.datatypeBind(Pos pos, Ast.Id name, Iterable<Ast.TyVar> tyVars, Iterable<Ast.TyCon> tyCons)
Ast.TyCon	AstBuilder.typeConstructor(Pos pos, Ast.Id id, Ast.Type type)
protected Ast.Id	Shuttle.visit(Ast.Id id)
protected void	Visitor.visit(Ast.Id id)

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

Modifier and Type	Method	Description
Ast.Group	Ast.Group.copy(PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.Group	AstBuilder.group(Pos pos, PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)

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

Modifier	Constructor	Description
(package private)	Aggregate(Pos pos, Ast.Exp aggregate, @Nullable Ast.Exp argument, Ast.Id id)
(package private)	Con0Pat(Pos pos, Ast.Id tyCon)
(package private)	ConPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
(package private)	DatatypeBind(Pos pos, com.google.common.collect.ImmutableList<Ast.TyVar> tyVars, Ast.Id name, com.google.common.collect.ImmutableList<Ast.TyCon> tyCons)
(package private)	TyCon(Pos pos, Ast.Id id, Ast.Type type)

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

Modifier	Constructor	Description
(package private)	Group(Pos pos, Op op, ImmutablePairList<Ast.Id,Ast.Exp> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)

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

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

Modifier and Type	Method	Description
private Core.NamedPat	Resolver.getIdPat(Ast.Id id, Binding binding)	Converts an Id that is a reference to a variable into an IdPat that represents its declaration.
private Core.Id	Resolver.toCore(Ast.Id id)
private Core.IdPat	Resolver.toCorePat(Ast.Id id)	Converts an id in a declaration to Core.
protected void	TypeResolver.FieldExpander.visit(Ast.Id id)

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

Modifier and Type	Method	Description
private Pair<TypeResolver.TypeEnv,Unifier.Variable>	TypeResolver.deduceStepType(TypeResolver.TypeEnv env, Ast.FromStep step, Unifier.Variable v, TypeResolver.TypeEnv env2, Map<Ast.Id,Unifier.Variable> fieldVars, List<Ast.FromStep> fromSteps)
private Unifier.Term	TypeResolver.fieldRecord(Map<Ast.Id,Unifier.Variable> fieldVars)