|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Var | |
---|---|
orc.ast.extended | Desugared AST which is very close to the source form. |
orc.ast.extended.pattern | |
orc.ast.simple | Desugared AST which is close to the final format (OIL) but includes named variables. |
orc.ast.simple.arg |
Uses of Var in orc.ast.extended |
---|
Method parameters in orc.ast.extended with type arguments of type Var | |
---|---|
Expression |
Clause.simplify(java.util.List<Var> formals,
Expression otherwise)
|
Uses of Var in orc.ast.extended.pattern |
---|
Methods in orc.ast.extended.pattern with parameters of type Var | |
---|---|
Expression |
AsPattern.bind(Var u,
Expression g)
|
Expression |
TuplePattern.bind(Var u,
Expression g)
|
Expression |
ListPattern.bind(Var u,
Expression g)
|
abstract Expression |
Pattern.bind(Var u,
Expression g)
|
Expression |
PublishPattern.bind(Var u,
Expression g)
|
Expression |
VariablePattern.bind(Var u,
Expression g)
|
Expression |
CallPattern.bind(Var u,
Expression g)
|
Expression |
WildcardPattern.bind(Var u,
Expression g)
|
Expression |
LiteralPattern.bind(Var u,
Expression g)
|
Expression |
ConsPattern.bind(Var u,
Expression g)
|
Expression |
NilPattern.bind(Var u,
Expression g)
|
Expression |
AsPattern.match(Var u)
|
Expression |
TuplePattern.match(Var u)
|
Expression |
ListPattern.match(Var u)
|
abstract Expression |
Pattern.match(Var u)
|
Expression |
PublishPattern.match(Var u)
|
Expression |
VariablePattern.match(Var u)
|
Expression |
CallPattern.match(Var u)
|
Expression |
WildcardPattern.match(Var u)
|
Expression |
LiteralPattern.match(Var u)
|
Expression |
ConsPattern.match(Var u)
|
Expression |
NilPattern.match(Var u)
|
static Expression |
Pattern.opbind(Expression f,
Var t,
Expression g)
Create an expression computing a monadic bind for options. |
Uses of Var in orc.ast.simple |
---|
Fields in orc.ast.simple declared as Var | |
---|---|
Var |
Definition.name
|
Fields in orc.ast.simple with type parameters of type Var | |
---|---|
java.util.List<Var> |
Definition.formals
|
Methods in orc.ast.simple that return types with arguments of type Var | |
---|---|
java.util.Set<Var> |
Semi.vars()
|
java.util.Set<Var> |
Definition.vars()
|
java.util.Set<Var> |
Silent.vars()
|
abstract java.util.Set<Var> |
Expression.vars()
Find the set of all unbound Vars (note: not FreeVars) in this expression. |
java.util.Set<Var> |
Parallel.vars()
|
java.util.Set<Var> |
Call.vars()
|
java.util.Set<Var> |
Defs.vars()
|
java.util.Set<Var> |
Let.vars()
|
java.util.Set<Var> |
Sequential.vars()
|
java.util.Set<Var> |
Where.vars()
|
Method parameters in orc.ast.simple with type arguments of type Var | |
---|---|
Expr |
Semi.convert(Env<Var> vars)
|
Def |
Definition.convert(Env<Var> vars)
|
Expr |
Silent.convert(Env<Var> vars)
|
abstract Expr |
Expression.convert(Env<Var> vars)
Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files. |
Expr |
Parallel.convert(Env<Var> vars)
|
Expr |
Call.convert(Env<Var> vars)
|
Expr |
Defs.convert(Env<Var> vars)
|
Expr |
Let.convert(Env<Var> vars)
|
Expr |
Sequential.convert(Env<Var> vars)
|
Expr |
Where.convert(Env<Var> vars)
|
Constructors in orc.ast.simple with parameters of type Var | |
---|---|
Definition(Var name,
java.util.List<Var> formals,
Expression body)
Note that the constructor takes a bound Var as a name parameter. |
|
Sequential(Expression left,
Expression right,
Var v)
|
|
Where(Expression left,
Expression right,
Var v)
|
Constructor parameters in orc.ast.simple with type arguments of type Var | |
---|---|
Definition(Var name,
java.util.List<Var> formals,
Expression body)
Note that the constructor takes a bound Var as a name parameter. |
Uses of Var in orc.ast.simple.arg |
---|
Method parameters in orc.ast.simple.arg with type arguments of type Var | |
---|---|
void |
Var.addFree(java.util.Set<Var> freeset)
|
void |
Argument.addFree(java.util.Set<Var> freeset)
|
Arg |
Constant.convert(Env<Var> vars)
|
Arg |
NamedVar.convert(Env<Var> vars)
|
Arg |
Site.convert(Env<Var> vars)
|
Arg |
Var.convert(Env<Var> vars)
|
abstract Arg |
Argument.convert(Env<Var> vars)
|
Arg |
Field.convert(Env<Var> vars)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |