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

Packages that use Ast.Exp

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.util	Utilities.

Uses of Ast.Exp in net.hydromatic.morel.ast

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

Modifier and Type	Class	Description
static class	Ast.AnnotatedExp	Parse tree node of an expression annotated with a type.
static class	Ast.Apply	Application of a function to its argument.
static class	Ast.Case	Case expression.
static class	Ast.Current	Parse tree node of the "current" reference.
static class	Ast.Exists	Exists expression.
static class	Ast.Fn	Lambda expression.
static class	Ast.Forall	Forall expression.
static class	Ast.From	From expression.
static class	Ast.Id	Parse tree node of an identifier.
static class	Ast.If	"If ... else" expression.
static class	Ast.InfixCall	Call to an infix operator.
static class	Ast.Let	"Let" expression.
static class	Ast.ListExp	List expression.
static class	Ast.Literal	Parse tree node of a literal (constant).
static class	Ast.Ordinal	Parse tree node of the "ordinal" reference.
static class	Ast.PrefixCall	Call to a prefix operator.
static class	Ast.Query	Base class for "from", "exists" or "forall" expression.
static class	Ast.Record	Record.
static class	Ast.RecordSelector	Parse tree node of a record selector.
static class	Ast.Tuple	Tuple.

Fields in net.hydromatic.morel.ast declared as Ast.Exp

Modifier and Type	Field	Description
final Ast.Exp	Ast.PrefixCall.a
final Ast.Exp	Ast.InfixCall.a0
final Ast.Exp	Ast.InfixCall.a1
final Ast.Exp	Ast.Aggregate.aggregate
final Ast.Exp	Ast.Apply.arg
final Ast.Exp	Ast.Aggregate.argument
final Ast.Exp	Ast.If.condition
final @Nullable Ast.Exp	Ast.Scan.condition
final Ast.Exp	Ast.AnnotatedExp.exp
final Ast.Exp	Ast.Case.exp
final Ast.Exp	Ast.FunMatch.exp
final Ast.Exp	Ast.Into.exp
final Ast.Exp	Ast.Let.exp
final Ast.Exp	Ast.Match.exp
final Ast.Exp	Ast.Order.exp
final Ast.Exp	Ast.Require.exp
final @Nullable Ast.Exp	Ast.Scan.exp
final Ast.Exp	Ast.Skip.exp
final Ast.Exp	Ast.Take.exp
final Ast.Exp	Ast.Through.exp
final Ast.Exp	Ast.ValBind.exp
final Ast.Exp	Ast.Where.exp
final Ast.Exp	Ast.Yield.exp
final Ast.Exp	Ast.Apply.fn
final Ast.Exp	Ast.If.ifFalse
final Ast.Exp	Ast.If.ifTrue
final @Nullable Ast.Exp	Ast.Record.with

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

Modifier and Type	Field	Description
final List<Ast.Exp>	Ast.ListExp.args
final SortedMap<String,Ast.Exp>	Ast.Record.args
final com.google.common.collect.ImmutableList<Ast.Exp>	Ast.SetStep.args
final List<Ast.Exp>	Ast.Tuple.args
final ImmutablePairList<Ast.Id,Ast.Exp>	Ast.Group.groupExps

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

Modifier and Type	Method	Description
Ast.Exp	Ast.AnnotatedExp.accept(Shuttle shuttle)
Ast.Exp	Ast.Apply.accept(Shuttle shuttle)
Ast.Exp	Ast.Case.accept(Shuttle shuttle)
Ast.Exp	Ast.Exists.accept(Shuttle shuttle)
abstract Ast.Exp	Ast.Exp.accept(Shuttle shuttle)
Ast.Exp	Ast.Forall.accept(Shuttle shuttle)
Ast.Exp	Ast.From.accept(Shuttle shuttle)
Ast.Exp	Ast.If.accept(Shuttle shuttle)
Ast.Exp	Ast.InfixCall.accept(Shuttle shuttle)
Ast.Exp	Ast.Let.accept(Shuttle shuttle)
Ast.Exp	Ast.Literal.accept(Shuttle shuttle)
Ast.Exp	Ast.PrefixCall.accept(Shuttle shuttle)
Ast.Exp	Ast.Record.accept(Shuttle shuttle)
Ast.Exp	Ast.RecordSelector.accept(Shuttle shuttle)
Ast.Exp	Ast.Tuple.accept(Shuttle shuttle)
Ast.Exp	AstBuilder.andAlso(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.caret(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.cons(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.elem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.equal(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.foldCons(List<Ast.Exp> list)
Ast.Exp	AstBuilder.fromEq(Ast.Exp exp)	Wraps an expression to distinguish "from x = e" from "from x in e".
Ast.Exp	AstBuilder.greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
Ast.Exp	AstBuilder.implies(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Exp	AstBuilder.minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.mod(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.negate(Pos p, Ast.Exp a)
Ast.Exp	AstBuilder.notElem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.notEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.o(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.orElse(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.plus(Ast.Exp a0, Ast.Exp a1)
private Ast.Exp	AstBuilder.ref(Pos pos, BuiltIn builtIn)	Returns a reference to a built-in: either a name (e.g.
Ast.Exp	AstBuilder.times(Ast.Exp a0, Ast.Exp a1)
protected Ast.Exp	Shuttle.visit(Ast.AnnotatedExp annotatedExp)
protected Ast.Exp	Shuttle.visit(Ast.Case caseOf)
protected Ast.Exp	Shuttle.visit(Ast.Exists exists)
protected Ast.Exp	Shuttle.visit(Ast.Forall forall)
protected Ast.Exp	Shuttle.visit(Ast.From from)
protected Ast.Exp	Shuttle.visit(Ast.If ifThenElse)
protected Ast.Exp	Shuttle.visit(Ast.InfixCall infixCall)
protected Ast.Exp	Shuttle.visit(Ast.Literal literal)
protected Ast.Exp	Shuttle.visit(Ast.PrefixCall prefixCall)
protected Ast.Exp	Shuttle.visit(Ast.Record record)
protected Ast.Exp	Shuttle.visit(Ast.RecordSelector recordSelector)
protected Ast.Exp	Shuttle.visit(Ast.Tuple tuple)

Methods in net.hydromatic.morel.ast that return types with arguments of type Ast.Exp

Modifier and Type	Method	Description
final List<Ast.Exp>	Ast.Exp.args()	Returns a list of all arguments.

Methods in net.hydromatic.morel.ast with parameters of type Ast.Exp

Modifier and Type	Method	Description
Ast.Aggregate	AstBuilder.aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Exp	AstBuilder.andAlso(Ast.Exp a0, Ast.Exp a1)
Ast.AnnotatedExp	AstBuilder.annotatedExp(Pos pos, Ast.Exp expression, Ast.Type type)
Ast.Apply	AstBuilder.apply(Ast.Exp fn, Ast.Exp arg)
Ast.Exp	AstBuilder.caret(Ast.Exp a0, Ast.Exp a1)
Ast.Case	AstBuilder.caseOf(Pos pos, Ast.Exp exp, Iterable<? extends Ast.Match> matchList)
Ast.Exp	AstBuilder.cons(Ast.Exp a0, Ast.Exp a1)
Ast.Aggregate	Ast.Aggregate.copy(Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.AnnotatedExp	Ast.AnnotatedExp.copy(Ast.Exp exp, Ast.Type type)	Creates a copy of this AnnotatedExp with given contents, or this if the contents are the same.
Ast.Apply	Ast.Apply.copy(Ast.Exp fn, Ast.Exp arg)
Ast.Case	Ast.Case.copy(Ast.Exp exp, List<Ast.Match> matchList)
Ast.If	Ast.If.copy(Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)	Creates a copy of this If with given contents, or this if the contents are the same.
Ast.InfixCall	Ast.InfixCall.copy(Ast.Exp a0, Ast.Exp a1)	Creates a copy of this InfixCall with given contents, or this if the contents are the same.
Ast.Into	Ast.Into.copy(Ast.Exp exp)
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.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.Order	Ast.Order.copy(Ast.Exp exp)
Ast.Record	Ast.Record.copy(@Nullable Ast.Exp with, Map<String,Ast.Exp> args)
Ast.Require	Ast.Require.copy(Ast.Exp exp)
Ast.Scan	Ast.Scan.copy(Ast.Pat pat, @Nullable Ast.Exp exp, @Nullable Ast.Exp condition)
Ast.Skip	Ast.Skip.copy(Ast.Exp exp)
Ast.Take	Ast.Take.copy(Ast.Exp exp)
Ast.Through	Ast.Through.copy(Ast.Pat pat, Ast.Exp exp)
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.Where	Ast.Where.copy(Ast.Exp exp)
Ast.Yield	Ast.Yield.copy(Ast.Exp exp)
Ast.Exp	AstBuilder.div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.elem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.equal(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.fromEq(Ast.Exp exp)	Wraps an expression to distinguish "from x = e" from "from x in e".
Ast.FunMatch	AstBuilder.funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
Ast.Exp	AstBuilder.greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
String	AstBuilder.implicitLabel(Ast.Exp exp)	Returns an expression's implicit label, or throws.
@Nullable String	AstBuilder.implicitLabelOpt(Ast.Exp exp)	Returns the implicit label for when an expression occurs within a record, or null if no label can be deduced.
Ast.Exp	AstBuilder.implies(Ast.Exp a0, Ast.Exp a1)
private Ast.InfixCall	AstBuilder.infix(Op op, Ast.Exp a0, Ast.Exp a1)	Creates a call to an infix operator.
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.FromStep	AstBuilder.into(Pos pos, Ast.Exp exp)
Ast.Exp	AstBuilder.lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Let	AstBuilder.let(Pos pos, Iterable<? extends Ast.Decl> decls, Ast.Exp exp)
Ast.Exp	AstBuilder.map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Match	AstBuilder.match(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.Exp	AstBuilder.minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.mod(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.negate(Pos p, Ast.Exp a)
Ast.Exp	AstBuilder.notElem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.notEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.o(Ast.Exp a0, Ast.Exp a1)
Ast.Order	AstBuilder.order(Pos pos, Ast.Exp exp)
Ast.Exp	AstBuilder.orElse(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.plus(Ast.Exp a0, Ast.Exp a1)
Ast.PrefixCall	AstBuilder.prefixCall(Pos p, Op op, Ast.Exp a)	Creates a call to a prefix operator.
Ast.Record	AstBuilder.record(Pos pos, @Nullable Ast.Exp with, Collection<Map.Entry<String,Ast.Exp>> map)
Ast.Record	AstBuilder.record(Pos pos, @Nullable Ast.Exp with, Map<String,Ast.Exp> map)
Ast.FromStep	AstBuilder.require(Pos pos, Ast.Exp exp)
Ast.Scan	AstBuilder.scan(Pos pos, Ast.Pat pat, Ast.Exp exp, @Nullable Ast.Exp condition)
Ast.FromStep	AstBuilder.skip(Pos pos, Ast.Exp exp)
Ast.FromStep	AstBuilder.take(Pos pos, Ast.Exp exp)
Ast.FromStep	AstBuilder.through(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.Exp	AstBuilder.times(Ast.Exp a0, Ast.Exp a1)
Ast.ValBind	AstBuilder.valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.FromStep	AstBuilder.where(Pos pos, Ast.Exp exp)
Ast.FromStep	AstBuilder.yield(Pos pos, Ast.Exp exp)

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

Modifier and Type	Method	Description
Ast.Except	Ast.Except.copy(boolean distinct, List<Ast.Exp> args)
Ast.Group	Ast.Group.copy(PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.Intersect	Ast.Intersect.copy(boolean distinct, List<Ast.Exp> args)
Ast.ListExp	Ast.ListExp.copy(List<Ast.Exp> args)
Ast.Record	Ast.Record.copy(@Nullable Ast.Exp with, Map<String,Ast.Exp> args)
abstract Ast.SetStep	Ast.SetStep.copy(boolean distinct, List<Ast.Exp> args)
Ast.Tuple	Ast.Tuple.copy(List<Ast.Exp> args)
Ast.Union	Ast.Union.copy(boolean distinct, List<Ast.Exp> args)
Ast.Except	AstBuilder.except(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)
Ast.Exp	AstBuilder.foldCons(List<Ast.Exp> list)
void	Ast.Exp.forEachArg(ObjIntConsumer<Ast.Exp> action)
void	Ast.InfixCall.forEachArg(ObjIntConsumer<Ast.Exp> action)
void	Ast.ListExp.forEachArg(ObjIntConsumer<Ast.Exp> action)
void	Ast.PrefixCall.forEachArg(ObjIntConsumer<Ast.Exp> action)
void	Ast.Record.forEachArg(ObjIntConsumer<Ast.Exp> action)
void	Ast.Tuple.forEachArg(ObjIntConsumer<Ast.Exp> action)
Ast.Group	AstBuilder.group(Pos pos, PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.Intersect	AstBuilder.intersect(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)
Ast.ListExp	AstBuilder.list(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.Record	AstBuilder.record(Pos pos, @Nullable Ast.Exp with, Collection<Map.Entry<String,Ast.Exp>> map)
Ast.Record	AstBuilder.record(Pos pos, @Nullable Ast.Exp with, Map<String,Ast.Exp> map)
Ast.Tuple	AstBuilder.tuple(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.Union	AstBuilder.union(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)

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

Modifier	Constructor	Description
(package private)	Aggregate(Pos pos, Ast.Exp aggregate, @Nullable Ast.Exp argument, Ast.Id id)
(package private)	AnnotatedExp(Pos pos, Ast.Exp exp, Ast.Type type)	Creates a type annotation.
(package private)	Apply(Pos pos, Ast.Exp fn, Ast.Exp arg)
(package private)	Case(Pos pos, Ast.Exp exp, com.google.common.collect.ImmutableList<Ast.Match> matchList)
(package private)	FunMatch(Pos pos, String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
	If(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
(package private)	InfixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
(package private)	Into(Pos pos, Ast.Exp exp)
(package private)	Let(Pos pos, com.google.common.collect.ImmutableList<Ast.Decl> decls, Ast.Exp exp)
(package private)	Match(Pos pos, Ast.Pat pat, Ast.Exp exp)
(package private)	Order(Pos pos, Ast.Exp exp)
(package private)	PrefixCall(Pos pos, Op op, Ast.Exp a)
(package private)	Record(Pos pos, @Nullable Ast.Exp with, com.google.common.collect.ImmutableSortedMap<String,Ast.Exp> args)
(package private)	Require(Pos pos, Ast.Exp exp)
(package private)	Scan(Pos pos, Ast.Pat pat, @Nullable Ast.Exp exp, @Nullable Ast.Exp condition)
(package private)	Skip(Pos pos, Ast.Exp exp)
(package private)	Take(Pos pos, Ast.Exp exp)
(package private)	Through(Pos pos, Ast.Pat pat, Ast.Exp exp)
(package private)	ValBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
(package private)	Where(Pos pos, Ast.Exp exp)
(package private)	Yield(Pos pos, Ast.Exp exp)

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

Modifier	Constructor	Description
(package private)	Except(Pos pos, boolean distinct, com.google.common.collect.ImmutableList<Ast.Exp> args)
(package private)	Group(Pos pos, Op op, ImmutablePairList<Ast.Id,Ast.Exp> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
(package private)	Intersect(Pos pos, boolean distinct, com.google.common.collect.ImmutableList<Ast.Exp> args)
(package private)	ListExp(Pos pos, Iterable<? extends Ast.Exp> args)
(package private)	Record(Pos pos, @Nullable Ast.Exp with, com.google.common.collect.ImmutableSortedMap<String,Ast.Exp> args)
(package private)	SetStep(Pos pos, Op op, boolean distinct, com.google.common.collect.ImmutableList<Ast.Exp> args)
(package private)	Tuple(Pos pos, Iterable<? extends Ast.Exp> args)
(package private)	Union(Pos pos, boolean distinct, com.google.common.collect.ImmutableList<Ast.Exp> args)

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

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

Modifier and Type	Method	Description
private Ast.Exp	TypeResolver.deduceApplyFnType(TypeResolver.TypeEnv env, Ast.Exp fn, Unifier.Variable vFn, Unifier.Variable vArg, Unifier.Variable vResult)	Deduces the datatype of a function being applied to an argument.
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private Ast.Exp	TypeResolver.deduceYieldType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)	Deduces a yield expression's type.
Ast.Exp	TypeResolver.Resolved.exp()
private static Ast.Exp	TypeResolver.idTuple(List<String> vars)	Converts a list of variable names to a variable or tuple.
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator.
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private Ast.Exp	TypeResolver.prefix(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v)	Registers a prefix operator.

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

Modifier and Type	Method	Description
private Ast.Exp	TypeResolver.deduceApplyFnType(TypeResolver.TypeEnv env, Ast.Exp fn, Unifier.Variable vFn, Unifier.Variable vArg, Unifier.Variable vResult)	Deduces the datatype of a function being applied to an argument.
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private Ast.Exp	TypeResolver.deduceYieldType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)	Deduces a yield expression's type.
private @Nullable TypedValue	TypeResolver.FieldExpander.expandField(Environment env, Ast.Exp exp)
(package private) static void	Resolver.flatten(Map<Ast.Pat,Ast.Exp> matches, boolean flatten, Ast.Pat pat, Ast.Exp exp)
private Core.Exp	Resolver.flattenLet(List<Ast.Decl> decls, Ast.Exp exp)
private @Nullable Type	TypeResolver.getType(TypeResolver.TypeEnv env, Ast.Exp exp)
private Core.Exp	Resolver.toCore(Ast.Exp exp)
private Core.Exp	Resolver.toCoreFromEq(Ast.Exp exp)	Translates "x" in "from e = x".
private Core.Exp	Resolver.toCoreImplies(Ast.Exp a0, Ast.Exp a1)	Translate "p implies q" as "(not p) orelse q".
static Ast.ValDecl	Compiles.toValDecl(Ast.Exp statement)	Converts e to val = e.

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

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)

Uses of Ast.Exp in net.hydromatic.morel.util

Methods in net.hydromatic.morel.util that return types with arguments of type Ast.Exp

Modifier and Type	Method	Description
private static Folder<Ast.Exp>	Folder.op(Ast.Exp exp, Op at)	Creates a folder that combines an expression with whatever follows using an infix operator.

Methods in net.hydromatic.morel.util with parameters of type Ast.Exp

Modifier and Type	Method	Description
static void	Folder.at(List<Folder<Ast.Exp>> list, Ast.Exp exp)	Appends an element using "@".
static void	Folder.cons(List<Folder<Ast.Exp>> list, Ast.Exp exp)	Appends an element using "::".
private static Folder<Ast.Exp>	Folder.op(Ast.Exp exp, Op at)	Creates a folder that combines an expression with whatever follows using an infix operator.

Method parameters in net.hydromatic.morel.util with type arguments of type Ast.Exp

Modifier and Type	Method	Description
static void	Folder.at(List<Folder<Ast.Exp>> list, Ast.Exp exp)	Appends an element using "@".
static void	Folder.cons(List<Folder<Ast.Exp>> list, Ast.Exp exp)	Appends an element using "::".