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

Packages that use Ast.Pat

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.
net.hydromatic.morel.eval	Evaluates expressions.

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

Subclasses of Ast.Pat in net.hydromatic.morel.ast

Modifier and Type	Class	Description
static class	Ast.AnnotatedPat	Pattern that is a pattern annotated with a type.
static class	Ast.Con0Pat	Type constructor pattern with no argument.
static class	Ast.ConPat	Type constructor pattern with an argument.
static class	Ast.IdPat	Named pattern, the pattern analog of the Ast.Id expression.
static class	Ast.InfixPat	Pattern build from an infix operator applied to two patterns.
static class	Ast.ListPat	List pattern, the pattern analog of the Ast.List expression.
static class	Ast.LiteralPat	Literal pattern, the pattern analog of the Ast.Literal expression.
static class	Ast.RecordPat	Record pattern.
static class	Ast.TuplePat	Tuple pattern, the pattern analog of the Ast.Tuple expression.
static class	Ast.WildcardPat	Wildcard pattern.

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

Modifier and Type	Field	Description
Ast.Pat	Ast.InfixPat.p0
Ast.Pat	Ast.InfixPat.p1
Ast.Pat	Ast.AnnotatedPat.pat
Ast.Pat	Ast.ConPat.pat
Ast.Pat	Ast.Match.pat
Ast.Pat	Ast.ValBind.pat

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

Modifier and Type	Field	Description
java.util.List<Ast.Pat>	Ast.ListPat.args
java.util.Map<java.lang.String,Ast.Pat>	Ast.RecordPat.args
java.util.List<Ast.Pat>	Ast.TuplePat.args
java.util.List<Ast.Pat>	Ast.FunMatch.patList

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

Modifier and Type	Method	Description
Ast.Pat	Ast.AnnotatedPat.accept(Shuttle shuttle)
Ast.Pat	Ast.Con0Pat.accept(Shuttle shuttle)
Ast.Pat	Ast.ConPat.accept(Shuttle shuttle)
Ast.Pat	Ast.IdPat.accept(Shuttle shuttle)
Ast.Pat	Ast.InfixPat.accept(Shuttle shuttle)
Ast.Pat	Ast.ListPat.accept(Shuttle shuttle)
Ast.Pat	Ast.LiteralPat.accept(Shuttle shuttle)
abstract Ast.Pat	Ast.Pat.accept(Shuttle shuttle)
Ast.Pat	Ast.RecordPat.accept(Shuttle shuttle)
Ast.Pat	Ast.TuplePat.accept(Shuttle shuttle)
Ast.Pat	Ast.WildcardPat.accept(Shuttle shuttle)
Ast.Pat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.Pat	AstBuilder.consPat(Ast.Pat p0, Ast.Pat p1)
Ast.Pat	AstBuilder.idPat(Pos pos, java.lang.String name)
protected Ast.Pat	Shuttle.visit(Ast.AnnotatedPat annotatedPat)
Ast.Pat	Shuttle.visit(Ast.Con0Pat con0Pat)
protected Ast.Pat	Shuttle.visit(Ast.IdPat idPat)
protected Ast.Pat	Shuttle.visit(Ast.InfixPat infixPat)
protected Ast.Pat	Shuttle.visit(Ast.ListPat listPat)
protected Ast.Pat	Shuttle.visit(Ast.LiteralPat literalPat)
protected Ast.Pat	Shuttle.visit(Ast.RecordPat recordPat)
protected Ast.Pat	Shuttle.visit(Ast.TuplePat tuplePat)
protected Ast.Pat	Shuttle.visit(Ast.WildcardPat wildcardPat)

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

Modifier and Type	Method	Description
Ast.Pat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.ConPat	AstBuilder.conPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
Ast.Pat	AstBuilder.consPat(Ast.Pat p0, Ast.Pat p1)
Ast.ValBind	Ast.ValBind.copy(boolean rec, Ast.Pat pat, Ast.Exp e)	Creates a copy of this ValBind with given contents, or this if the contents are the same.
Ast.InfixPat	AstBuilder.infixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
Ast.ListPat	AstBuilder.listPat(Pos pos, Ast.Pat... args)
Ast.Match	AstBuilder.match(Pos pos, Ast.Pat pat, Ast.Exp e)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, Ast.Pat... args)
Ast.ValBind	AstBuilder.valBind(Pos pos, boolean rec, Ast.Pat pat, Ast.Exp e)

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

Modifier and Type	Method	Description
void	Ast.AnnotatedPat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.ConPat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.InfixPat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.ListPat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.Pat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.RecordPat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
void	Ast.TuplePat.forEachArg(java.util.function.ObjIntConsumer<Ast.Pat> action)
Ast.FunMatch	AstBuilder.funMatch(Pos pos, java.lang.String name, java.lang.Iterable<? extends Ast.Pat> patList, Ast.Exp e)
Ast.ListPat	AstBuilder.listPat(Pos pos, java.lang.Iterable<? extends Ast.Pat> args)
Ast.RecordPat	AstBuilder.recordPat(Pos pos, boolean ellipsis, java.util.Map<java.lang.String,? extends Ast.Pat> args)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, java.lang.Iterable<? extends Ast.Pat> args)
void	Ast.Pat.visit(java.util.function.Consumer<Ast.Pat> consumer)

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

Constructor	Description
AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
ConPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
InfixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
Match(Pos pos, Ast.Pat pat, Ast.Exp e)
ValBind(Pos pos, boolean rec, Ast.Pat pat, Ast.Exp e)

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

Constructor	Description
FunMatch(Pos pos, java.lang.String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, Ast.Exp e)
ListPat(Pos pos, com.google.common.collect.ImmutableList<Ast.Pat> args)
RecordPat(Pos pos, boolean ellipsis, com.google.common.collect.ImmutableMap<java.lang.String,Ast.Pat> args)
TuplePat(Pos pos, com.google.common.collect.ImmutableList<Ast.Pat> args)

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

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

Modifier and Type	Method	Description
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 Ast.Pat	Compiler.expandRecordPattern(Ast.Pat pat)	Expands a pattern if it is a record pattern that has an ellipsis or if the arguments are not in the same order as the labels in the type.
private Ast.Pat	TypeResolver.patTuple(TypeResolver.TypeEnv env, java.util.List<Ast.Pat> patList)	Converts a list of patterns to a singleton pattern or tuple pattern.

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

Modifier and Type	Method	Description
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 Ast.Pat	Compiler.expandRecordPattern(Ast.Pat pat)	Expands a pattern if it is a record pattern that has an ellipsis or if the arguments are not in the same order as the labels in the type.
private void	Compiler.flatten(java.util.Map<Ast.Pat,Ast.Exp> matches, Ast.Pat pat, Ast.Exp exp)
private void	Compiler.link(java.util.Map<Ast.IdPat,Compiler.LinkCode> linkCodes, Ast.Pat pat, Code code)

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

Modifier and Type	Method	Description
private void	Compiler.flatten(java.util.Map<Ast.Pat,Ast.Exp> matches, Ast.Pat pat, Ast.Exp exp)
private Ast.Pat	TypeResolver.patTuple(TypeResolver.TypeEnv env, java.util.List<Ast.Pat> patList)	Converts a list of patterns to a singleton pattern or tuple pattern.

Uses of Ast.Pat in net.hydromatic.morel.eval

Fields in net.hydromatic.morel.eval with type parameters of type Ast.Pat

Modifier and Type	Field	Description
private com.google.common.collect.ImmutableList<Pair<Ast.Pat,Code>>	Closure.patCodes	A list of (pattern, code) pairs.

Methods in net.hydromatic.morel.eval with parameters of type Ast.Pat

Modifier and Type	Method	Description
private boolean	Closure.bindRecurse(Ast.Pat pat, EvalEnv[] envRef, java.lang.Object argValue)

Constructor parameters in net.hydromatic.morel.eval with type arguments of type Ast.Pat

Constructor	Description
Closure(EvalEnv evalEnv, com.google.common.collect.ImmutableList<Pair<Ast.Pat,Code>> patCodes)	Not a public API.