Enum ergo_lib::ast::Expr

pub enum Expr {
    Const(Constant),
    ConstPlaceholder(ConstantPlaceholder),
    Coll {
        tpe: SType,
        v: Vec<Expr>,
    },
    Tup {
        tpe: SType,
        v: Vec<Expr>,
    },
    PredefFunc(PredefFunc),
    CollM(CollMethods),
    BoxM(BoxMethods),
    CtxM(ContextMethods),
    MethodCall {
        tpe: SType,
        obj: Box<Expr>,
        method: SMethod,
        args: Vec<Expr>,
    },
    BinOp(BinOp, Box<Expr>, Box<Expr>),
}

Expression in ErgoTree

Variants

Const(Constant)

Constant value

ConstPlaceholder(ConstantPlaceholder)

Placeholder for a constant

Coll

Collection of values (same type)

Fields of Coll

tpe: SType

Collection type

v: Vec<Expr>

Values of the collection

Tup

Tuple

Fields of Tup

tpe: SType

Tuple type

v: Vec<Expr>

Values of the tuple

PredefFunc(PredefFunc)

Predefined functions (global)

CollM(CollMethods)

Collection type methods

BoxM(BoxMethods)

Box methods

CtxM(ContextMethods)

Context methods (i.e CONTEXT.INPUTS)

MethodCall

Method call

Fields of MethodCall

tpe: SType

Method call type

obj: Box<Expr>

Method call object

method: SMethod

Method signature

args: Vec<Expr>

Arguments of the method call

BinOp(BinOp, Box<Expr>, Box<Expr>)

Binary operation

Implementations

impl Expr

pub fn op_code(&self) -> OpCode

Code (used in serialization)

pub fn tpe(&self) -> &SType

Type of the expression

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Expr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Expr

fn fmt(&self, _: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Expr

impl PartialEq<Expr> for Expr

fn eq(&self, other: &Expr) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Expr) -> bool

This method tests for !=.

impl SigmaSerializable for Expr

fn sigma_serialize<W: SigmaByteWrite>(&self, w: &mut W) -> Result<(), Error>

Write self to the given writer. This function has a sigma_ prefix to alert the reader that the serialization in use is consensus-critical serialization
Notice that the error type is std::io::Error; this indicates that serialization MUST be infallible up to errors in the underlying writer. In other words, any type implementing SigmaSerializable must make illegal states unrepresentable.

fn sigma_parse<R: SigmaByteRead>(r: &mut R) -> Result<Self, SerializationError>

Try to read self from the given reader. sigma- prefix to alert the reader that the serialization in use is consensus-critical

fn sigma_serialize_bytes(&self) -> Vec<u8>

Serialize any SigmaSerializable value into bytes

fn sigma_parse_bytes(bytes: Vec<u8>) -> Result<Self, SerializationError>

Parse self from the bytes

impl StructuralEq for Expr

impl StructuralPartialEq for Expr