Expr

object Expr
Companion:
class
class Object
trait Matchable
class Any
Expr.type

Type members

Classlikes

object Const
Companion:
class
trait Const[T <: Txn[T], +A] extends Expr[T, A]

A constant expression simply acts as a proxy for a constant value of type A. Its event is a dummy (constants never change), and the value method does not need to use the transaction. String representation, hash-code and equality are defined in terms of the constant peer value.

A constant expression simply acts as a proxy for a constant value of type A. Its event is a dummy (constants never change), and the value method does not need to use the transaction. String representation, hash-code and equality are defined in terms of the constant peer value.

Companion:
object
object Program
Companion:
class
trait Program[T <: Txn[T], A] extends Expr[T, A]

A program expression is backed by a code tree with an Ex as its leaf. Program inputs are accessed through the object's attribute map.

A program expression is backed by a code tree with an Ex as its leaf. Program inputs are accessed through the object's attribute map.

Companion:
object
object Type
Companion:
class
trait Type[A1, Repr <: ([~ <: Txn[~]] =>> Expr[~, A1])] extends Type
Companion:
object

Value members

Concrete methods

def isConst(expr: Expr[_, _]): Boolean
def isProgram(expr: Expr[_, _]): Boolean
def isVar(expr: Expr[_, _]): Boolean