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.Fn	Lambda expression.
static class	Ast.From	From expression.
static class	Ast.Id	Parse tree node of an identifier.
static class	Ast.If	"If ...
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.PrefixCall	Call to a prefix operator.
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.Let.exp
final Ast.Exp	Ast.Match.exp
final Ast.Exp	Ast.OrderItem.exp
final Ast.Exp	Ast.Scan.exp
final Ast.Exp	Ast.Skip.exp
final Ast.Exp	Ast.Take.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.From.implicitYieldExp	An implicit yield expression, if the last step is not a Ast.Yield; null if the last step is a Ast.Yield.

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 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)
abstract Ast.Exp	Ast.Exp.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.annotatedExp(Pos pos, Ast.Exp expression, Ast.Type type)
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.except(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.fromSuchThat(Ast.Exp exp)	Wraps an expression to distinguish "from x suchthat 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)
(package private) static @Nullable Ast.Exp	Ast.From.implicitYieldExp(Pos pos, List<Ast.FromStep> steps)
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.intersect(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)
Ast.Exp	AstBuilder.union(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.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.Exp	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.Apply	Ast.Apply.copy(Ast.Exp fn, Ast.Exp arg)
Ast.Case	Ast.Case.copy(Ast.Exp exp, List<Ast.Match> matchList)
Ast.From	Ast.From.copy(List<Ast.FromStep> steps, @Nullable Ast.Exp implicitYieldExp)	Creates a copy of this From with given contents, or this if the contents are the same.
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.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.OrderItem	Ast.OrderItem.copy(Ast.Exp exp, Ast.Direction direction)
Ast.Scan	Ast.Scan.copy(Ast.Pat pat, Ast.Exp exp, Ast.Exp condition)
Ast.Skip	Ast.Skip.copy(Ast.Exp exp)
Ast.Take	Ast.Take.copy(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.except(Ast.Exp a0, Ast.Exp a1)
Ast.From	AstBuilder.from(Pos pos, List<Ast.FromStep> steps, Ast.Exp implicitYieldExp)
Ast.Exp	AstBuilder.fromEq(Ast.Exp exp)	Wraps an expression to distinguish "from x = e" from "from x in e".
Ast.Exp	AstBuilder.fromSuchThat(Ast.Exp exp)	Wraps an expression to distinguish "from x suchthat e" from "from x in e".
Ast.FunMatch	AstBuilder.funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, 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)
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.Exp	AstBuilder.intersect(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.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.OrderItem	AstBuilder.orderItem(Pos pos, Ast.Exp exp, Ast.Direction direction)
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.Scan	AstBuilder.scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, Ast.Exp condition)
Ast.FromStep	AstBuilder.skip(Pos pos, Ast.Exp exp)
Ast.FromStep	AstBuilder.take(Pos pos, Ast.Exp exp)
Ast.Exp	AstBuilder.times(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.union(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.Group	Ast.Group.copy(PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.ListExp	Ast.ListExp.copy(List<Ast.Exp> args)
Ast.Record	Ast.Record.copy(Map<String,Ast.Exp> args)
Ast.Tuple	Ast.Tuple.copy(List<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.ListExp	AstBuilder.list(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.Record	AstBuilder.record(Pos pos, Map<String,Ast.Exp> map)
Ast.Tuple	AstBuilder.tuple(Pos pos, Iterable<? extends Ast.Exp> list)

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)	From(Pos pos, com.google.common.collect.ImmutableList<Ast.FromStep> steps, @Nullable Ast.Exp implicitYieldExp)
(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)	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)	OrderItem(Pos pos, Ast.Exp exp, Ast.Direction direction)
(package private)	PrefixCall(Pos pos, Op op, Ast.Exp a)
(package private)	Scan(Pos pos, Op op, Ast.Pat pat, 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)	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)	Group(Pos pos, Op op, ImmutablePairList<Ast.Id,Ast.Exp> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
(package private)	ListExp(Pos pos, Iterable<? extends Ast.Exp> args)
(package private)	Record(Pos pos, com.google.common.collect.ImmutableSortedMap<String,Ast.Exp> args)
(package private)	Tuple(Pos pos, Iterable<? extends 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.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
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.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
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 Core.Exp	Resolver.toCore(Ast.Exp exp)
private Core.Exp	Resolver.toCoreFromEq(Ast.Exp exp)	Translates "x" in "from e = x".
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 "::".