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
final Core.Pat	Core.AsPat.pat
final Core.Pat	Core.ConPat.pat
final Core.Pat	Core.Match.pat
final Core.Pat	Core.Scan.pat

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

Modifier and Type	Field	Description
final List<Core.Pat>	Core.ListPat.args
final List<Core.Pat>	Core.RecordPat.args
final 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(Pos pos, Core.Pat pat, Core.Exp exp)
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)
FromBuilder	FromBuilder.suchThat(Core.Pat pat, Core.Exp exp)
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

Modifier	Constructor	Description
protected	AsPat(Type type, String name, int i, Core.Pat pat)
protected	ConPat(Op op, Type type, String tyCon, Core.Pat pat)	Mostly-private constructor.
(package private)	ConPat(Type type, String tyCon, Core.Pat pat)
(package private)	Match(Pos pos, Core.Pat pat, Core.Exp exp)
(package private)	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

Modifier	Constructor	Description
(package private)	ListPat(Type type, com.google.common.collect.ImmutableList<Core.Pat> args)
(package private)	RecordPat(RecordType type, com.google.common.collect.ImmutableList<Core.Pat> args)
(package private)	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) final Core.Pat	Resolver.PatExp.pat

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

Modifier and Type	Field	Description
private final ImmutablePairList<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 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)
private void	Compiler.compileValDecl(Compiler.Context cx, Core.ValDecl valDecl, @Nullable Core.Pat skipPat, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Exp exp)
private void	Extents.Extent.extent(Core.Pat pat, Core.Exp exp, List<Core.Exp> extents, List<Core.Exp> filters)
private static List<Core.IdPat>	Extents.flatten(Core.Pat pat)	Converts a singleton id pattern "x" or tuple pattern "(x, y)" to a list of id patterns.
static Core.Exp	Extents.generator(TypeSystem typeSystem, Core.Pat pat, Core.Exp exp)	Returns an expression that generates the extent of a pattern.
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 static boolean	Extents.Extent.matches(Core.Exp exp, Core.Pat pat)	Returns whether an expression corresponds exactly to a pattern.
(package private) static SuchThatShuttle.PatMap	SuchThatShuttle.PatMap.of(Core.Pat pat, Core.Exp exp)
private static void	SuchThatShuttle.PatMap.populate(Core.Pat pat, Core.Exp exp, com.google.common.collect.ImmutableMap.Builder<Core.NamedPat,Core.NamedPat> nameBuilder)
private Core.Exp	SuchThatShuttle.rewrite0(SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Pat pat, Core.Exp exp)
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
private void	Compiler.compileMatch(Compiler.Context cx, Core.Match match, BiConsumer<Core.Pat,Code> consumer)
(package private) void	Extents.Extent.g3(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, Core.Exp exp)
private void	Extents.Extent.g4(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1)
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

Modifier	Constructor	Description
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats)
(package private)	PatExp(Core.Pat pat, Core.Exp exp, Pos pos)

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

Modifier	Constructor	Description
(package private)	MatchCode(ImmutablePairList<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 final Core.Pat	Codes.ScanRowSink.pat
protected final Core.Pat	EvalEnvs.PatSubEvalEnv.pat

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

Modifier and Type	Field	Description
private final ImmutablePairList<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

Modifier	Constructor	Description
(package private)	MutablePatSubEvalEnv(EvalEnv parentEnv, Core.Pat pat, List<String> names)
(package private)	PatSubEvalEnv(EvalEnv parentEnv, Core.Pat pat, com.google.common.collect.ImmutableList<String> names, Object[] values)
(package private)	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

Modifier	Constructor	Description
	Closure(EvalEnv evalEnv, ImmutablePairList<Core.Pat,Code> patCodes, Pos pos)	Not a public API.