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.

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.AsPat	Layered pattern.
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.ListExp 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
final Ast.Pat	Ast.InfixPat.p0
final Ast.Pat	Ast.InfixPat.p1
final Ast.Pat	Ast.AnnotatedPat.pat
final Ast.Pat	Ast.AsPat.pat
final Ast.Pat	Ast.ConPat.pat
final Ast.Pat	Ast.Match.pat
final Ast.Pat	Ast.Scan.pat
final Ast.Pat	Ast.ValBind.pat

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

Modifier and Type	Field	Description
final List<Ast.Pat>	Ast.ListPat.args
final SortedMap<String,Ast.Pat>	Ast.RecordPat.args
final List<Ast.Pat>	Ast.TuplePat.args
final 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.AsPat.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.idPat(Pos pos, String name)
protected Ast.Pat	Shuttle.visit(Ast.AnnotatedPat annotatedPat)
protected Ast.Pat	Shuttle.visit(Ast.AsPat asPat)
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.AnnotatedPat	AstBuilder.annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.AsPat	AstBuilder.asPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
Ast.ConPat	AstBuilder.conPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
Ast.InfixPat	AstBuilder.consPat(Ast.Pat p0, Ast.Pat p1)
Ast.AnnotatedPat	Ast.AnnotatedPat.copy(Ast.Pat pat, Ast.Type type)	Creates a copy of this AnnotatedPat with given contents, or this if the contents are the same.
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.
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.InfixPat	Ast.InfixPat.copy(Ast.Pat p0, Ast.Pat p1)	Creates a copy of this InfixPat with given contents and same operator, or this if the contents are the same.
Ast.Match	Ast.Match.copy(Ast.Pat pat, Ast.Exp exp)	Creates a copy of this Match with given contents, or this if the contents are the same.
Ast.Scan	Ast.Scan.copy(Ast.Pat pat, Ast.Exp exp, Ast.Exp condition)
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.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 exp)
Ast.Scan	AstBuilder.scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, Ast.Exp condition)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, Ast.Pat... args)
Ast.ValBind	AstBuilder.valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)

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

Modifier and Type	Method	Description
Ast.ListPat	Ast.ListPat.copy(List<Ast.Pat> args)	Creates a copy of this ListPat with given contents, or this if the contents are the same.
Ast.RecordPat	Ast.RecordPat.copy(boolean ellipsis, Map<String,? extends Ast.Pat> args)
Ast.TuplePat	Ast.TuplePat.copy(List<Ast.Pat> args)	Creates a copy of this TuplePat with given contents, or this if the contents are the same.
void	Ast.AnnotatedPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.AsPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.ConPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.InfixPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.ListPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.Pat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.RecordPat.forEachArg(ObjIntConsumer<Ast.Pat> action)
void	Ast.TuplePat.forEachArg(ObjIntConsumer<Ast.Pat> action)
Ast.FunMatch	AstBuilder.funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, Ast.Type returnType, Ast.Exp exp)
Ast.ListPat	AstBuilder.listPat(Pos pos, Iterable<? extends Ast.Pat> args)
Ast.RecordPat	AstBuilder.recordPat(Pos pos, boolean ellipsis, Map<String,? extends Ast.Pat> args)
Ast.TuplePat	AstBuilder.tuplePat(Pos pos, Iterable<? extends Ast.Pat> args)
void	Ast.Pat.visit(Consumer<Ast.Pat> consumer)

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

Modifier	Constructor	Description
(package private)	AnnotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
(package private)	AsPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
(package private)	ConPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
(package private)	InfixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
(package private)	Match(Pos pos, Ast.Pat pat, Ast.Exp exp)
(package private)	Scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, @Nullable Ast.Exp condition)
(package private)	ValBind(Pos pos, Ast.Pat pat, Ast.Exp exp)

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

Modifier	Constructor	Description
(package private)	FunMatch(Pos pos, String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
(package private)	ListPat(Pos pos, com.google.common.collect.ImmutableList<Ast.Pat> args)
(package private)	RecordPat(Pos pos, boolean ellipsis, com.google.common.collect.ImmutableSortedMap<String,Ast.Pat> args)
(package private)	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, 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 Ast.Pat	TypeResolver.patTuple(TypeResolver.TypeEnv env, 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, 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.
(package private) static void	Resolver.flatten(Map<Ast.Pat,Ast.Exp> matches, boolean flatten, Ast.Pat pat, Ast.Exp exp)
private Core.Pat	Resolver.toCore(Ast.Pat pat)
private Core.Pat	Resolver.toCore(Ast.Pat pat, Type targetType)
private Core.Pat	Resolver.toCore(Ast.Pat pat, Type type, Type targetType)	Converts a pattern to Core.

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

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