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

Packages that use Core.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 Core.Pat in net.hydromatic.morel.ast

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

Modifier and Type	Class	Description
static class	Core.AsPat	Layered pattern.
static class	Core.Con0Pat	Type constructor pattern with no argument.
static class	Core.ConPat	Type constructor pattern with an argument.
static class	Core.IdPat	Named pattern.
static class	Core.ListPat	List pattern.
static class	Core.LiteralPat	Literal pattern, the pattern analog of the Core.Literal expression.
static class	Core.NamedPat	Base class for named patterns (Core.IdPat and Core.AsPat).
static class	Core.RecordPat	Record pattern.
static class	Core.TuplePat	Tuple pattern, the pattern analog of the Core.Tuple expression.
static class	Core.WildcardPat	Wildcard pattern.

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

Modifier and Type	Field	Description
Core.Pat	Core.AsPat.pat
Core.Pat	Core.ConPat.pat
Core.Pat	Core.Match.pat
Core.Pat	Core.Scan.pat

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

Modifier and Type	Field	Description
List<Core.Pat>	Core.ListPat.args
List<Core.Pat>	Core.RecordPat.args
List<Core.Pat>	Core.TuplePat.args

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

Modifier and Type	Method	Description
Core.Pat	Core.Con0Pat.accept(Shuttle shuttle)
Core.Pat	Core.ConPat.accept(Shuttle shuttle)
Core.Pat	Core.ListPat.accept(Shuttle shuttle)
Core.Pat	Core.LiteralPat.accept(Shuttle shuttle)
abstract Core.Pat	Core.Pat.accept(Shuttle shuttle)
Core.Pat	Core.RecordPat.accept(Shuttle shuttle)
Core.Pat	Core.TuplePat.accept(Shuttle shuttle)
Core.Pat	Core.WildcardPat.accept(Shuttle shuttle)
Core.Pat	Core.RecordPat.copy(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
Core.Pat	CoreBuilder.recordPat(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
protected Core.Pat	Shuttle.visit(Core.Con0Pat con0Pat)
protected Core.Pat	Shuttle.visit(Core.ConPat conPat)
protected Core.Pat	Shuttle.visit(Core.ListPat listPat)
protected Core.Pat	Shuttle.visit(Core.LiteralPat literalPat)
protected Core.Pat	Shuttle.visit(Core.RecordPat recordPat)
protected Core.Pat	Shuttle.visit(Core.TuplePat tuplePat)
protected Core.Pat	Shuttle.visit(Core.WildcardPat wildcardPat)

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

Modifier and Type	Method	Description
Core.AsPat	CoreBuilder.asPat(Type type, String name, int i, Core.Pat pat)
Core.AsPat	CoreBuilder.asPat(Type type, String name, NameGenerator nameGenerator, Core.Pat pat)	Creates an AsPat with a given name, generating an ordinal to distinguish it from other declarations with the same name elsewhere in the program.
Core.ConPat	CoreBuilder.conPat(Type type, String tyCon, Core.Pat pat)
Core.ConPat	CoreBuilder.consPat(Type type, String tyCon, Core.Pat pat)
Core.AsPat	Core.AsPat.copy(String name, int i, Core.Pat pat)	Creates a copy of this AsPat with given contents, or this if the contents are the same.
Core.ConPat	Core.ConPat.copy(String tyCon, Core.Pat pat)	Creates a copy of this ConPat with given contents, or this if the contents are the same.
Core.Match	Core.Match.copy(Core.Pat pat, Core.Exp exp)
Core.Scan	Core.Scan.copy(List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.ListPat	CoreBuilder.listPat(Type type, Core.Pat... args)
Core.Match	CoreBuilder.match(Core.Pat pat, Core.Exp exp, Pos pos)
Core.Scan	CoreBuilder.scan(Op op, List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp)
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.TuplePat	CoreBuilder.tuplePat(Type type, Core.Pat... args)

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

Modifier and Type	Method	Description
Core.ListPat	Core.ListPat.copy(TypeSystem typeSystem, List<Core.Pat> args)
Core.Pat	Core.RecordPat.copy(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
Core.TuplePat	Core.TuplePat.copy(TypeSystem typeSystem, List<Core.Pat> args)
Core.ListPat	CoreBuilder.listPat(Type type, Iterable<? extends Core.Pat> args)
Core.ListPat	CoreBuilder.listPat(TypeSystem typeSystem, List<Core.Pat> args)
Core.RecordPat	CoreBuilder.recordPat(RecordType type, List<? extends Core.Pat> args)
Core.Pat	CoreBuilder.recordPat(TypeSystem typeSystem, Set<String> argNames, List<Core.Pat> args)
Core.TuplePat	CoreBuilder.tuplePat(Type type, Iterable<? extends Core.Pat> args)
Core.TuplePat	CoreBuilder.tuplePat(TypeSystem typeSystem, List<Core.Pat> args)

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

Constructor	Description
AsPat(Type type, String name, int i, Core.Pat pat)
ConPat(Op op, Type type, String tyCon, Core.Pat pat)	Mostly-private constructor.
ConPat(Type type, String tyCon, Core.Pat pat)
Match(Pos pos, Core.Pat pat, Core.Exp exp)
Scan(Op op, com.google.common.collect.ImmutableList<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)

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

Constructor	Description
ListPat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
RecordPat(RecordType type, com.google.common.collect.ImmutableList<Core.Pat> args)
TuplePat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)

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

Fields in net.hydromatic.morel.compile declared as Core.Pat

Modifier and Type	Field	Description
(package private) Core.Pat	Resolver.PatExp.pat

Fields in net.hydromatic.morel.compile with type parameters of type Core.Pat

Modifier and Type	Field	Description
private com.google.common.collect.ImmutableList<Pair<Core.Pat,Code>>	Compiler.MatchCode.patCodes

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

Modifier and Type	Method	Description
private Core.Pat	PatternCoverageChecker.listToCons(Core.ListPat listPat)	Converts a list pattern into a pattern made up of the CONS and NIL constructors of the built-in datatype list.
private Core.Pat	PatternCoverageChecker.listToConsRecurse(DataType listDataType, List<Core.Pat> args)
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.

Methods in net.hydromatic.morel.compile that return types with arguments of type Core.Pat

Modifier and Type	Method	Description
private Pair<Core.Pat,Code>	Compiler.compileMatch(Compiler.Context cx, Core.Match match)

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

Modifier and Type	Method	Description
static void	Compiles.acceptBinding(TypeSystem typeSystem, Core.Pat pat, List<Binding> bindings)	Visits a pattern, adding bindings to a list.
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.Pat pat)
boolean	PatternCoverageChecker.isCoveredBy(Core.Pat pat, List<Core.Pat> patList)	Returns whether a pattern is covered by a list of patterns.
(package private) static boolean	PatternCoverageChecker.isCoveredBy(TypeSystem typeSystem, List<Core.Pat> prevPatList, Core.Pat pat)	Returns whether every possible value that could be matched by pattern pat would already have been matched by one or more of prevPatList.
private void	Compiler.link(Map<Core.NamedPat,Compiler.LinkCode> linkCodes, Core.Pat pat, Code code)
private void	Compiler.shredValue(Core.Pat pat, Object o, BiConsumer<Core.NamedPat,Object> consumer)
private Sat.Term	PatternCoverageChecker.toTerm(Core.Pat pat)	Converts a pattern to a logical term.
private void	PatternCoverageChecker.toTerm(Core.Pat pat, PatternCoverageChecker.Path path, List<Sat.Term> terms)

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

Modifier and Type	Method	Description
boolean	PatternCoverageChecker.isCoveredBy(Core.Pat pat, List<Core.Pat> patList)	Returns whether a pattern is covered by a list of patterns.
(package private) static boolean	PatternCoverageChecker.isCoveredBy(TypeSystem typeSystem, List<Core.Pat> prevPatList, Core.Pat pat)	Returns whether every possible value that could be matched by pattern pat would already have been matched by one or more of prevPatList.
(package private) static boolean	PatternCoverageChecker.isExhaustive(TypeSystem typeSystem, List<Core.Pat> patList)	Returns whether a list of patterns covers every possible value.
private Core.Pat	PatternCoverageChecker.listToConsRecurse(DataType listDataType, List<Core.Pat> args)

Constructors in net.hydromatic.morel.compile with parameters of type Core.Pat

Constructor	Description
PatExp(Core.Pat pat, Core.Exp exp, Pos pos)

Constructor parameters in net.hydromatic.morel.compile with type arguments of type Core.Pat

Constructor	Description
MatchCode(com.google.common.collect.ImmutableList<Pair<Core.Pat,Code>> patCodes, Pos pos)

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

Fields in net.hydromatic.morel.eval declared as Core.Pat

Modifier and Type	Field	Description
private Core.Pat	Codes.ScanRowSink.pat
protected Core.Pat	EvalEnvs.PatSubEvalEnv.pat

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

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

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

Modifier and Type	Method	Description
default MutableEvalEnv	EvalEnv.bindMutablePat(Core.Pat pat)	Creates an evaluation environment that has the same content as this one, plus mutable slots for each name in a pattern.
static boolean	Closure.bindRecurse(Core.Pat pat, Object argValue, BiConsumer<Core.NamedPat,Object> envRef)	Attempts to bind a value to a pattern.
(package private) boolean	EvalEnvs.MutablePatSubEvalEnv.bindRecurse(Core.Pat pat, Object argValue)
static Codes.RowSink	Codes.scanRowSink(Op op, Core.Pat pat, Code code, Code conditionCode, Codes.RowSink rowSink)	Creates a Codes.RowSink for a join clause.

Constructors in net.hydromatic.morel.eval with parameters of type Core.Pat

Constructor	Description
MutablePatSubEvalEnv(EvalEnv parentEnv, Core.Pat pat, List<String> names)
PatSubEvalEnv(EvalEnv parentEnv, Core.Pat pat, com.google.common.collect.ImmutableList<String> names, Object[] values)
ScanRowSink(Op op, Core.Pat pat, Code code, Code conditionCode, Codes.RowSink rowSink)

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

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