Attributes
- Companion:
- class
- Graph
- Supertypes
- Self type
- LiftComplex.type
Members list
Value members
Inherited methods
The corresponding lifter for pass-by-name arguments
The corresponding lifter for pass-by-name arguments
Attributes
- Definition Classes
- Inherited from:
- LiftComplex
Is lifting performed on erased terms?
Lift out function prefix and all arguments from application
Lift out function prefix and all arguments from application
pre.f(arg1, ..., argN) becomes
val x0 = pre val x1 = arg1 ... val xN = argN x0.f(x1, ..., xN)
But leave pure expressions alone.
Attributes
- Inherited from:
- Lifter
Lift arguments that are not-idempotent into ValDefs in buffer defs
and replace by the idents of so created ValDefs.
Lift arguments that are not-idempotent into ValDefs in buffer defs
and replace by the idents of so created ValDefs.
Attributes
- Inherited from:
- Lifter
Lift out common part of lhs tree taking part in an operator assignment such as
Lift out common part of lhs tree taking part in an operator assignment such as
lhs += expr
Attributes
- Inherited from:
- Lifter
Lift prefix pre
of an application pre.f(...)
to
Lift prefix pre
of an application pre.f(...)
to
val x0 = pre x0.f(...)
unless pre
is idempotent.
Attributes
- Inherited from:
- Lifter
The tree of a lifted definition
The flags of a lifted definition
Test indicating expr
does not need lifting