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

Packages that use Core.Decl

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

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

Modifier and Type	Class	Description
static class	Core.DatatypeDecl	Datatype declaration.
static class	Core.NonRecValDecl	Non-recursive value declaration.
static class	Core.RecValDecl	Recursive value declaration.
static class	Core.ValDecl	Abstract (recursive or non-recursive) value declaration.

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

Modifier and Type	Method	Description
abstract Core.Decl	Core.Decl.accept(Shuttle shuttle)

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

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

Modifier and Type	Method	Description
Core.Decl	Resolver.toCore(Ast.Decl node)

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

Modifier and Type	Method	Description
private static void	Compiles.checkPatternCoverage(TypeSystem typeSystem, Core.Decl decl, Consumer<CompileException> warningConsumer)	Checks for exhaustive and redundant patterns, and throws if there are errors/warnings.
(package private) void	Compiler.compileDecl(Compiler.Context cx, Core.Decl decl, @Nullable Core.NamedPat skipPat, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Core.Decl decl, @Nullable Core.NamedPat skipPat, Set<Core.Exp> queriesToWrap)
(package private) static boolean	SuchThatShuttle.containsSuchThat(Core.Decl decl)
private static @Nullable Core.NamedPat	Compiles.getSkipPat(Ast.Decl decl, Core.Decl coreDecl)	Returns a pattern that should not be printed, or null.
void	Tracer.onCore(int pass, Core.Decl e)	Called when the expression is converted to core.
void	Tracers.DelegatingTracer.onCore(int pass, Core.Decl e)
void	Tracers.EmptyTracer.onCore(int pass, Core.Decl e)

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

Modifier and Type	Method	Description
static Tracer	Tracers.withOnCore(Tracer tracer, int pass, Consumer<Core.Decl> consumer)	Returns a tracer that performs the given action on a declaration, then calls the underlying tracer.