Enum ergotree_ir::mir::expr::Expr

pub enum Expr {
    Const(Constant),
    ConstPlaceholder(ConstantPlaceholder),
    ByteArrayToLong(ByteArrayToLong),
    ByteArrayToBigInt(ByteArrayToBigInt),
    LongToByteArray(LongToByteArray),
    Collection(Collection),
    Tuple(Tuple),
    CalcBlake2b256(CalcBlake2b256),
    Context,
    Global,
    GlobalVars(GlobalVars),
    FuncValue(FuncValue),
    Apply(Apply),
    MethodCall(MethodCall),
    ProperyCall(PropertyCall),
    BlockValue(BlockValue),
    ValDef(ValDef),
    ValUse(ValUse),
    If(If),
    BinOp(BinOp),
    And(And),
    Or(Or),
    Atleast(Atleast),
    LogicalNot(LogicalNot),
    Negation(Negation),
    OptionGet(OptionGet),
    OptionIsDefined(OptionIsDefined),
    OptionGetOrElse(OptionGetOrElse),
    ExtractAmount(ExtractAmount),
    ExtractRegisterAs(ExtractRegisterAs),
    ExtractScriptBytes(ExtractScriptBytes),
    ExtractCreationInfo(ExtractCreationInfo),
    ExtractId(ExtractId),
    ByIndex(ByIndex),
    SizeOf(SizeOf),
    Fold(Fold),
    Map(Map),
    Filter(Filter),
    Exists(Exists),
    ForAll(ForAll),
    SelectField(SelectField),
    BoolToSigmaProp(BoolToSigmaProp),
    Upcast(Upcast),
    CreateProveDlog(CreateProveDlog),
    CreateProveDhTuple(CreateProveDhTuple),
    SigmaPropBytes(SigmaPropBytes),
    DecodePoint(DecodePoint),
    SigmaAnd(SigmaAnd),
    SigmaOr(SigmaOr),
    GetVar(GetVar),
    DeserializeRegister(DeserializeRegister),
    DeserializeContext(DeserializeContext),
}

Expression in ErgoTree

Variants

Const(Constant)

Constant value

ConstPlaceholder(ConstantPlaceholder)

Placeholder for a constant

ByteArrayToLong(ByteArrayToLong)

Convert byte array to SLong

ByteArrayToBigInt(ByteArrayToBigInt)

Convert byte array to SLong

LongToByteArray(LongToByteArray)

Convert SLong to a byte array

Collection(Collection)

Collection declaration (array of expressions of the same type)

Tuple(Tuple)

Tuple declaration

CalcBlake2b256(CalcBlake2b256)

Predefined functions (global) Blake2b256 hash calculation

Context

Context variables (external)

Global

Special global value which is used to define methods

GlobalVars(GlobalVars)

Predefined global variables

FuncValue(FuncValue)

Function definition

Apply(Apply)

Function application

MethodCall(MethodCall)

Method call

ProperyCall(PropertyCall)

Property call

BlockValue(BlockValue)

Block (statements, followed by an expression)

ValDef(ValDef)

let-bound expression

ValUse(ValUse)

Reference to ValDef

If(If)

If, non-lazy - evaluate both branches

BinOp(BinOp)

Binary operation

And(And)

Logical AND

Or(Or)

Logical OR

Atleast(Atleast)

THRESHOLD composition for sigma expressions

LogicalNot(LogicalNot)

LogicalNot

Negation(Negation)

Negation on numeric type

OptionGet(OptionGet)

Option.get method

OptionIsDefined(OptionIsDefined)

Option.isDefined method

OptionGetOrElse(OptionGetOrElse)

Returns the option’s value if the option is nonempty, otherwise return the result of evaluating default.

ExtractAmount(ExtractAmount)

Box monetary value

ExtractRegisterAs(ExtractRegisterAs)

Extract register’s value (box.RX properties)

ExtractScriptBytes(ExtractScriptBytes)

Extract box’s guarding script serialized to bytes

ExtractCreationInfo(ExtractCreationInfo)

Tuple of height when block got included into the blockchain and transaction identifier with box index in the transaction outputs serialized to the byte array.

ExtractId(ExtractId)

Box id, Blake2b256 hash of this box’s content, basically equals to blake2b256(bytes)

ByIndex(ByIndex)

Collection, get element by index

SizeOf(SizeOf)

Collection size

Fold(Fold)

Collection fold op

Map(Map)

Collection map op

Filter(Filter)

Collection filter op

Exists(Exists)

Tests whether a predicate holds for at least one element of this collection

ForAll(ForAll)

Tests whether a predicate holds for all elements of this collection.

SelectField(SelectField)

Tuple field access

BoolToSigmaProp(BoolToSigmaProp)

Bool to SigmaProp

Upcast(Upcast)

Upcast numeric value

CreateProveDlog(CreateProveDlog)

Create proveDlog from GroupElement(PK)

CreateProveDhTuple(CreateProveDhTuple)

Create proveDlog from GroupElement(PK)

SigmaPropBytes(SigmaPropBytes)

Extract serialized bytes of a SigmaProp value

DecodePoint(DecodePoint)

Decode byte array to EC point

SigmaAnd(SigmaAnd)

AND conjunction for sigma propositions

SigmaOr(SigmaOr)

OR conjunction for sigma propositions

GetVar(GetVar)

Extracts Context variable by id and type

DeserializeRegister(DeserializeRegister)

Extract register of SELF box as Coll[Byte], deserialize it into Value and inline into the executing script.

DeserializeContext(DeserializeContext)

Extracts context variable as Coll[Byte], deserializes it to script and then executes this script in the current context. The original Coll[Byte] of the script is available as getVar[Coll[Byte]](id) On evaluation returns the result of the script execution in the current context

Implementations

impl Expr

pub fn tpe(&self) -> SType

Type of the expression

pub fn post_eval_tpe(&self) -> SType

Type expected after the evaluation

pub fn check_post_eval_tpe(
    &self,
    expected_tpe: SType
) -> Result<(), InvalidExprEvalTypeError>

Check if given expected_tpe type is the same as the expression’s post-evaluation type

pub fn debug_tree(&self) -> String

Prints the tree with newlines

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 From<And> for Expr

fn from(original: And) -> Expr

Performs the conversion.

impl From<Apply> for Expr

fn from(original: Apply) -> Expr

Performs the conversion.

impl From<Atleast> for Expr

fn from(original: Atleast) -> Expr

Performs the conversion.

impl From<BinOp> for Expr

fn from(original: BinOp) -> Expr

Performs the conversion.

impl From<BlockValue> for Expr

fn from(original: BlockValue) -> Expr

Performs the conversion.

impl From<BoolToSigmaProp> for Expr

fn from(original: BoolToSigmaProp) -> Expr

Performs the conversion.

impl From<ByIndex> for Expr

fn from(original: ByIndex) -> Expr

Performs the conversion.

impl From<ByteArrayToBigInt> for Expr

fn from(original: ByteArrayToBigInt) -> Expr

Performs the conversion.

impl From<ByteArrayToLong> for Expr

fn from(original: ByteArrayToLong) -> Expr

Performs the conversion.

impl From<CalcBlake2b256> for Expr

fn from(original: CalcBlake2b256) -> Expr

Performs the conversion.

impl From<Collection> for Expr

fn from(original: Collection) -> Expr

Performs the conversion.

impl From<Constant> for Expr

fn from(original: Constant) -> Expr

Performs the conversion.

impl From<CreateProveDhTuple> for Expr

fn from(original: CreateProveDhTuple) -> Expr

Performs the conversion.

impl From<CreateProveDlog> for Expr

fn from(original: CreateProveDlog) -> Expr

Performs the conversion.

impl From<DecodePoint> for Expr

fn from(original: DecodePoint) -> Expr

Performs the conversion.

impl From<DeserializeContext> for Expr

fn from(original: DeserializeContext) -> Expr

Performs the conversion.

impl From<DeserializeRegister> for Expr

fn from(original: DeserializeRegister) -> Expr

Performs the conversion.

impl From<Exists> for Expr

fn from(original: Exists) -> Expr

Performs the conversion.

impl From<Expr> for ErgoTree

fn from(expr: Expr) -> Self

Performs the conversion.

impl From<ExtractAmount> for Expr

fn from(original: ExtractAmount) -> Expr

Performs the conversion.

impl From<ExtractCreationInfo> for Expr

fn from(original: ExtractCreationInfo) -> Expr

Performs the conversion.

impl From<ExtractId> for Expr

fn from(original: ExtractId) -> Expr

Performs the conversion.

impl From<ExtractRegisterAs> for Expr

fn from(original: ExtractRegisterAs) -> Expr

Performs the conversion.

impl From<ExtractScriptBytes> for Expr

fn from(original: ExtractScriptBytes) -> Expr

Performs the conversion.

impl From<Filter> for Expr

fn from(original: Filter) -> Expr

Performs the conversion.

impl From<Fold> for Expr

fn from(original: Fold) -> Expr

Performs the conversion.

impl From<ForAll> for Expr

fn from(original: ForAll) -> Expr

Performs the conversion.

impl From<FuncValue> for Expr

fn from(original: FuncValue) -> Expr

Performs the conversion.

impl From<GetVar> for Expr

fn from(original: GetVar) -> Expr

Performs the conversion.

impl From<GlobalVars> for Expr

fn from(original: GlobalVars) -> Expr

Performs the conversion.

impl From<If> for Expr

fn from(original: If) -> Expr

Performs the conversion.

impl From<LogicalNot> for Expr

fn from(original: LogicalNot) -> Expr

Performs the conversion.

impl From<LongToByteArray> for Expr

fn from(original: LongToByteArray) -> Expr

Performs the conversion.

impl From<Map> for Expr

fn from(original: Map) -> Expr

Performs the conversion.

impl From<MethodCall> for Expr

fn from(original: MethodCall) -> Expr

Performs the conversion.

impl From<Negation> for Expr

fn from(original: Negation) -> Expr

Performs the conversion.

impl From<OptionGet> for Expr

fn from(original: OptionGet) -> Expr

Performs the conversion.

impl From<OptionGetOrElse> for Expr

fn from(original: OptionGetOrElse) -> Expr

Performs the conversion.

impl From<OptionIsDefined> for Expr

fn from(original: OptionIsDefined) -> Expr

Performs the conversion.

impl From<Or> for Expr

fn from(original: Or) -> Expr

Performs the conversion.

impl From<PropertyCall> for Expr

fn from(original: PropertyCall) -> Expr

Performs the conversion.

impl From<SelectField> for Expr

fn from(original: SelectField) -> Expr

Performs the conversion.

impl From<SigmaAnd> for Expr

fn from(original: SigmaAnd) -> Expr

Performs the conversion.

impl From<SigmaOr> for Expr

fn from(original: SigmaOr) -> Expr

Performs the conversion.

impl From<SigmaPropBytes> for Expr

fn from(original: SigmaPropBytes) -> Expr

Performs the conversion.

impl From<SizeOf> for Expr

fn from(original: SizeOf) -> Expr

Performs the conversion.

impl<T: Into<Value> + LiftIntoSType> From<T> for Expr

fn from(t: T) -> Self

Performs the conversion.

impl From<Tuple> for Expr

fn from(original: Tuple) -> Expr

Performs the conversion.

impl From<Upcast> for Expr

fn from(original: Upcast) -> Expr

Performs the conversion.

impl From<ValDef> for Expr

fn from(original: ValDef) -> Expr

Performs the conversion.

impl From<ValUse> for Expr

fn from(original: ValUse) -> Expr

Performs the conversion.

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: &[u8]) -> Result<Self, SerializationError>

Parse self from the bytes

impl<T: TryFrom<Expr>> TryExtractFrom<Expr> for T

fn try_extract_from(v: Expr) -> Result<Self, TryExtractFromError>

Extract the value or return an error if type does not match

impl TryFrom<Expr> for ValDef

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ValUse

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Fold

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for FuncValue

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for GlobalVars

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for And

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for SizeOf

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for BinOp

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ByteArrayToLong

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ByteArrayToBigInt

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for OptionIsDefined

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Map

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Or

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ForAll

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Filter

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for GetVar

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Atleast

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for OptionGetOrElse

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ExtractRegisterAs

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for CreateProveDlog

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for SelectField

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Apply

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for BoolToSigmaProp

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for LogicalNot

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ByIndex

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for If

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for DecodePoint

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for LongToByteArray

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for DeserializeRegister

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for DeserializeContext

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Exists

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for SigmaPropBytes

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ExtractCreationInfo

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for SigmaOr

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for BlockValue

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Negation

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ExtractScriptBytes

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for CreateProveDhTuple

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Upcast

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for SigmaAnd

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Collection

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for PropertyCall

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ExtractAmount

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Constant

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for OptionGet

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for CalcBlake2b256

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for Tuple

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for MethodCall

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expr> for ExtractId

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Expr

impl StructuralEq for Expr

impl StructuralPartialEq for Expr