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

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

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

Modifier and Type	Class	Description
static class	Ast.DatatypeDecl	Parse tree node of a datatype declaration.
static class	Ast.FunDecl	Parse tree node of a function declaration.
static class	Ast.ValDecl	Parse tree node of a value declaration.

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

Modifier and Type	Field	Description
final List<Ast.Decl>	Ast.Let.decls

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

Modifier and Type	Method	Description
abstract Ast.Decl	Ast.Decl.accept(Shuttle shuttle)
Ast.Decl	Ast.FunDecl.accept(Shuttle shuttle)
protected Ast.Decl	Shuttle.visit(Ast.FunDecl funDecl)

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

Modifier and Type	Method	Description
Ast.Let	Ast.Let.copy(Iterable<Ast.Decl> decls, Ast.Exp exp)	Creates a copy of this LetExp with given contents, or this if the contents are the same.
Ast.Let	AstBuilder.let(Pos pos, Iterable<? extends Ast.Decl> decls, Ast.Exp exp)

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

Modifier	Constructor	Description
(package private)	Let(Pos pos, com.google.common.collect.ImmutableList<Ast.Decl> decls, Ast.Exp exp)

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

Fields in net.hydromatic.morel.compile declared as Ast.Decl

Modifier and Type	Field	Description
final Ast.Decl	TypeResolver.Resolved.node
final Ast.Decl	TypeResolver.Resolved.originalNode

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

Modifier and Type	Method	Description
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, Map<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, Map<Ast.IdPat,Unifier.Term> termMap)
static Ast.Decl	Compiles.toDecl(AstNode statement)	Converts an expression or declaration to a declaration.

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

Modifier and Type	Method	Description
private static void	TypeResolver.checkNoUnresolvedFieldRefs(Ast.Decl decl, TypeMap typeMap)	Checks that there are no field references "x.y" or "#y x" where "x" has an unresolved type.
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, Map<Ast.IdPat,Unifier.Term> termMap)
static TypeResolver.Resolved	TypeResolver.deduceType(Environment env, Ast.Decl decl, TypeSystem typeSystem)	Deduces the datatype of a declaration.
private TypeResolver.Resolved	TypeResolver.deduceType_(Environment env, Ast.Decl decl)
private static void	TypeResolver.forEachUnresolvedField(Ast.Decl decl, TypeMap typeMap, Consumer<Ast.Apply> consumer)
private static @Nullable Core.NamedPat	Compiles.getSkipPat(Ast.Decl decl, Core.Decl coreDecl)	Returns a pattern that should not be printed, or null.
(package private) static TypeResolver.Resolved	TypeResolver.Resolved.of(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)
private static CompiledStatement	Compiles.prepareDecl(TypeSystem typeSystem, Session session, Environment env, @Nullable Calcite calcite, Ast.Decl decl, Consumer<CompileException> warningConsumer, Tracer tracer)	Validates and compiles a declaration, and compiles it to code that can be evaluated by the interpreter.
private Resolver.ResolvedDecl	Resolver.resolve(Ast.Decl decl, List<Binding> bindings)
Core.Decl	Resolver.toCore(Ast.Decl node)

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

Modifier and Type	Method	Description
private Core.Exp	Resolver.flattenLet(List<Ast.Decl> decls, Ast.Exp exp)

Constructors in net.hydromatic.morel.compile with parameters of type Ast.Decl

Modifier	Constructor	Description
private	Resolved(Environment env, Ast.Decl originalNode, Ast.Decl node, TypeMap typeMap)