Enum ergotree_ir::mir::expr::Expr

pub enum Expr {
    Append(Spanned<Append>),
    Const(Constant),
    ConstPlaceholder(ConstantPlaceholder),
    SubstConstants(Spanned<SubstConstants>),
    ByteArrayToLong(Spanned<ByteArrayToLong>),
    ByteArrayToBigInt(Spanned<ByteArrayToBigInt>),
    LongToByteArray(LongToByteArray),
    Collection(Collection),
    Tuple(Tuple),
    CalcBlake2b256(CalcBlake2b256),
    CalcSha256(CalcSha256),
    Context,
    Global,
    GlobalVars(GlobalVars),
    FuncValue(FuncValue),
    Apply(Apply),
    MethodCall(Spanned<MethodCall>),
    PropertyCall(Spanned<PropertyCall>),
    BlockValue(Spanned<BlockValue>),
    ValDef(Spanned<ValDef>),
    ValUse(ValUse),
    If(If),
    BinOp(Spanned<BinOp>),
    And(Spanned<And>),
    Or(Spanned<Or>),
    Xor(Xor),
    Atleast(Atleast),
    LogicalNot(Spanned<LogicalNot>),
    Negation(Spanned<Negation>),
    BitInversion(BitInversion),
    OptionGet(Spanned<OptionGet>),
    OptionIsDefined(Spanned<OptionIsDefined>),
    OptionGetOrElse(Spanned<OptionGetOrElse>),
    ExtractAmount(ExtractAmount),
    ExtractRegisterAs(Spanned<ExtractRegisterAs>),
    ExtractBytes(ExtractBytes),
    ExtractBytesWithNoRef(ExtractBytesWithNoRef),
    ExtractScriptBytes(ExtractScriptBytes),
    ExtractCreationInfo(ExtractCreationInfo),
    ExtractId(ExtractId),
    ByIndex(Spanned<ByIndex>),
    SizeOf(SizeOf),
    Slice(Spanned<Slice>),
    Fold(Spanned<Fold>),
    Map(Spanned<Map>),
    Filter(Spanned<Filter>),
    Exists(Spanned<Exists>),
    ForAll(Spanned<ForAll>),
    SelectField(Spanned<SelectField>),
    BoolToSigmaProp(BoolToSigmaProp),
    Upcast(Upcast),
    Downcast(Downcast),
    CreateProveDlog(CreateProveDlog),
    CreateProveDhTuple(CreateProveDhTuple),
    SigmaPropBytes(SigmaPropBytes),
    DecodePoint(DecodePoint),
    SigmaAnd(SigmaAnd),
    SigmaOr(SigmaOr),
    GetVar(Spanned<GetVar>),
    DeserializeRegister(DeserializeRegister),
    DeserializeContext(DeserializeContext),
    MultiplyGroup(MultiplyGroup),
    Exponentiate(Exponentiate),
    XorOf(XorOf),
    TreeLookup(Spanned<TreeLookup>),
    CreateAvlTree(CreateAvlTree),
}

Expression in ErgoTree

Variants

Append(Spanned<Append>)

Append - Concatenation of two collections

Const(Constant)

Constant value

ConstPlaceholder(ConstantPlaceholder)

Placeholder for a constant

SubstConstants(Spanned<SubstConstants>)

Substitute constants in serialized ergo tree

ByteArrayToLong(Spanned<ByteArrayToLong>)

Convert byte array to SLong

ByteArrayToBigInt(Spanned<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

CalcSha256(CalcSha256)

Sha256 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(Spanned<MethodCall>)

Method call

PropertyCall(Spanned<PropertyCall>)

Property call

BlockValue(Spanned<BlockValue>)

Block (statements, followed by an expression)

ValDef(Spanned<ValDef>)

let-bound expression

ValUse(ValUse)

Reference to ValDef

If(If)

If, non-lazy - evaluate both branches

BinOp(Spanned<BinOp>)

Binary operation

And(Spanned<And>)

Logical AND

Or(Spanned<Or>)

Logical OR

Xor(Xor)

Byte-wise XOR

Atleast(Atleast)

THRESHOLD composition for sigma expressions

LogicalNot(Spanned<LogicalNot>)

LogicalNot

Negation(Spanned<Negation>)

Negation on numeric type

BitInversion(BitInversion)

Bit inversion on numeric type

OptionGet(Spanned<OptionGet>)

Option.get method

OptionIsDefined(Spanned<OptionIsDefined>)

Option.isDefined method

OptionGetOrElse(Spanned<OptionGetOrElse>)

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

ExtractAmount(ExtractAmount)

Box monetary value

ExtractRegisterAs(Spanned<ExtractRegisterAs>)

Extract register’s value (box.RX properties)

ExtractBytes(ExtractBytes)

Extract serialized box bytes

ExtractBytesWithNoRef(ExtractBytesWithNoRef)

Extract serialized box bytes excluding transaction_id & index

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(Spanned<ByIndex>)

Collection, get element by index

SizeOf(SizeOf)

Collection size

Slice(Spanned<Slice>)

Collection slice

Fold(Spanned<Fold>)

Collection fold op

Map(Spanned<Map>)

Collection map op

Filter(Spanned<Filter>)

Collection filter op

Exists(Spanned<Exists>)

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

ForAll(Spanned<ForAll>)

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

SelectField(Spanned<SelectField>)

Tuple field access

BoolToSigmaProp(BoolToSigmaProp)

Bool to SigmaProp

Upcast(Upcast)

Upcast numeric value

Downcast(Downcast)

Downcast 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(Spanned<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

MultiplyGroup(MultiplyGroup)

MultiplyGroup op for GroupElement

Exponentiate(Exponentiate)

Exponentiate op for GroupElement

XorOf(XorOf)

XOR for collection of booleans

TreeLookup(Spanned<TreeLookup>)

Perform a lookup by key in an AVL tree

CreateAvlTree(CreateAvlTree)

Create an AVL tree

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

pub fn to_string_pretty(&self) -> String

Pretty prints the tree

impl Expr

pub fn pretty_print(&self) -> Result<(Expr, String), PrintError>

Returns pretty printed tree

impl Expr

pub fn parse_with_tag<R: SigmaByteRead>( r: &mut R, tag: u8 ) -> Result<Self, SigmaParsingError>

Parse expression from byte stream. This function should be used instead of sigma_parse when tag byte is already read for look-ahead

impl Expr

pub fn span(&self) -> SourceSpan

Source span for the Expr

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(v: And) -> Self

Converts to this type from the input type.

impl From<Append> for Expr

fn from(v: Append) -> Self

Converts to this type from the input type.

impl From<Apply> for Expr

fn from(original: Apply) -> Expr

Converts to this type from the input type.

impl From<Atleast> for Expr

fn from(original: Atleast) -> Expr

Converts to this type from the input type.

impl From<BinOp> for Expr

fn from(v: BinOp) -> Self

Converts to this type from the input type.

impl From<BitInversion> for Expr

fn from(original: BitInversion) -> Expr

Converts to this type from the input type.

impl From<BlockValue> for Expr

fn from(v: BlockValue) -> Self

Converts to this type from the input type.

impl From<BoolToSigmaProp> for Expr

fn from(original: BoolToSigmaProp) -> Expr

Converts to this type from the input type.

impl From<ByIndex> for Expr

fn from(v: ByIndex) -> Self

Converts to this type from the input type.

impl From<ByteArrayToBigInt> for Expr

fn from(v: ByteArrayToBigInt) -> Self

Converts to this type from the input type.

impl From<ByteArrayToLong> for Expr

fn from(v: ByteArrayToLong) -> Self

Converts to this type from the input type.

impl From<CalcBlake2b256> for Expr

fn from(original: CalcBlake2b256) -> Expr

Converts to this type from the input type.

impl From<CalcSha256> for Expr

fn from(original: CalcSha256) -> Expr

Converts to this type from the input type.

impl From<Collection> for Expr

fn from(original: Collection) -> Expr

Converts to this type from the input type.

impl From<Constant> for Expr

fn from(original: Constant) -> Expr

Converts to this type from the input type.

impl From<ConstantPlaceholder> for Expr

fn from(original: ConstantPlaceholder) -> Expr

Converts to this type from the input type.

impl From<CreateAvlTree> for Expr

fn from(original: CreateAvlTree) -> Expr

Converts to this type from the input type.

impl From<CreateProveDhTuple> for Expr

fn from(original: CreateProveDhTuple) -> Expr

Converts to this type from the input type.

impl From<CreateProveDlog> for Expr

fn from(original: CreateProveDlog) -> Expr

Converts to this type from the input type.

impl From<DecodePoint> for Expr

fn from(original: DecodePoint) -> Expr

Converts to this type from the input type.

impl From<DeserializeContext> for Expr

fn from(original: DeserializeContext) -> Expr

Converts to this type from the input type.

impl From<DeserializeRegister> for Expr

fn from(original: DeserializeRegister) -> Expr

Converts to this type from the input type.

impl From<Downcast> for Expr

fn from(original: Downcast) -> Expr

Converts to this type from the input type.

impl From<Exists> for Expr

fn from(v: Exists) -> Self

Converts to this type from the input type.

impl From<Exponentiate> for Expr

fn from(original: Exponentiate) -> Expr

Converts to this type from the input type.

impl From<ExtractAmount> for Expr

fn from(original: ExtractAmount) -> Expr

Converts to this type from the input type.

impl From<ExtractBytes> for Expr

fn from(original: ExtractBytes) -> Expr

Converts to this type from the input type.

impl From<ExtractBytesWithNoRef> for Expr

fn from(original: ExtractBytesWithNoRef) -> Expr

Converts to this type from the input type.

impl From<ExtractCreationInfo> for Expr

fn from(original: ExtractCreationInfo) -> Expr

Converts to this type from the input type.

impl From<ExtractId> for Expr

fn from(original: ExtractId) -> Expr

Converts to this type from the input type.

impl From<ExtractRegisterAs> for Expr

fn from(v: ExtractRegisterAs) -> Self

Converts to this type from the input type.

impl From<ExtractScriptBytes> for Expr

fn from(original: ExtractScriptBytes) -> Expr

Converts to this type from the input type.

impl From<Filter> for Expr

fn from(v: Filter) -> Self

Converts to this type from the input type.

impl From<Fold> for Expr

fn from(v: Fold) -> Self

Converts to this type from the input type.

impl From<ForAll> for Expr

fn from(v: ForAll) -> Self

Converts to this type from the input type.

impl From<FuncValue> for Expr

fn from(original: FuncValue) -> Expr

Converts to this type from the input type.

impl From<GetVar> for Expr

fn from(v: GetVar) -> Self

Converts to this type from the input type.

impl From<GlobalVars> for Expr

fn from(original: GlobalVars) -> Expr

Converts to this type from the input type.

impl From<If> for Expr

fn from(original: If) -> Expr

Converts to this type from the input type.

impl From<LogicalNot> for Expr

fn from(v: LogicalNot) -> Self

Converts to this type from the input type.

impl From<LongToByteArray> for Expr

fn from(original: LongToByteArray) -> Expr

Converts to this type from the input type.

impl From<Map> for Expr

fn from(v: Map) -> Self

Converts to this type from the input type.

impl From<MethodCall> for Expr

fn from(v: MethodCall) -> Self

Converts to this type from the input type.

impl From<MultiplyGroup> for Expr

fn from(original: MultiplyGroup) -> Expr

Converts to this type from the input type.

impl From<Negation> for Expr

fn from(v: Negation) -> Self

Converts to this type from the input type.

impl From<OptionGet> for Expr

fn from(v: OptionGet) -> Self

Converts to this type from the input type.

impl From<OptionGetOrElse> for Expr

fn from(v: OptionGetOrElse) -> Self

Converts to this type from the input type.

impl From<OptionIsDefined> for Expr

fn from(v: OptionIsDefined) -> Self

Converts to this type from the input type.

impl From<Or> for Expr

fn from(v: Or) -> Self

Converts to this type from the input type.

impl From<PropertyCall> for Expr

fn from(v: PropertyCall) -> Self

Converts to this type from the input type.

impl From<SelectField> for Expr

fn from(v: SelectField) -> Self

Converts to this type from the input type.

impl From<SigmaAnd> for Expr

fn from(original: SigmaAnd) -> Expr

Converts to this type from the input type.

impl From<SigmaOr> for Expr

fn from(original: SigmaOr) -> Expr

Converts to this type from the input type.

impl From<SigmaPropBytes> for Expr

fn from(original: SigmaPropBytes) -> Expr

Converts to this type from the input type.

impl From<SizeOf> for Expr

fn from(original: SizeOf) -> Expr

Converts to this type from the input type.

impl From<Slice> for Expr

fn from(v: Slice) -> Self

Converts to this type from the input type.

impl From<Spanned<And>> for Expr

fn from(original: Spanned<And>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Append>> for Expr

fn from(original: Spanned<Append>) -> Expr

Converts to this type from the input type.

impl From<Spanned<BinOp>> for Expr

fn from(original: Spanned<BinOp>) -> Expr

Converts to this type from the input type.

impl From<Spanned<BlockValue>> for Expr

fn from(original: Spanned<BlockValue>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ByIndex>> for Expr

fn from(original: Spanned<ByIndex>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ByteArrayToBigInt>> for Expr

fn from(original: Spanned<ByteArrayToBigInt>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ByteArrayToLong>> for Expr

fn from(original: Spanned<ByteArrayToLong>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Exists>> for Expr

fn from(original: Spanned<Exists>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ExtractRegisterAs>> for Expr

fn from(original: Spanned<ExtractRegisterAs>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Filter>> for Expr

fn from(original: Spanned<Filter>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Fold>> for Expr

fn from(original: Spanned<Fold>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ForAll>> for Expr

fn from(original: Spanned<ForAll>) -> Expr

Converts to this type from the input type.

impl From<Spanned<GetVar>> for Expr

fn from(original: Spanned<GetVar>) -> Expr

Converts to this type from the input type.

impl From<Spanned<LogicalNot>> for Expr

fn from(original: Spanned<LogicalNot>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Map>> for Expr

fn from(original: Spanned<Map>) -> Expr

Converts to this type from the input type.

impl From<Spanned<MethodCall>> for Expr

fn from(original: Spanned<MethodCall>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Negation>> for Expr

fn from(original: Spanned<Negation>) -> Expr

Converts to this type from the input type.

impl From<Spanned<OptionGet>> for Expr

fn from(original: Spanned<OptionGet>) -> Expr

Converts to this type from the input type.

impl From<Spanned<OptionGetOrElse>> for Expr

fn from(original: Spanned<OptionGetOrElse>) -> Expr

Converts to this type from the input type.

impl From<Spanned<OptionIsDefined>> for Expr

fn from(original: Spanned<OptionIsDefined>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Or>> for Expr

fn from(original: Spanned<Or>) -> Expr

Converts to this type from the input type.

impl From<Spanned<PropertyCall>> for Expr

fn from(original: Spanned<PropertyCall>) -> Expr

Converts to this type from the input type.

impl From<Spanned<SelectField>> for Expr

fn from(original: Spanned<SelectField>) -> Expr

Converts to this type from the input type.

impl From<Spanned<Slice>> for Expr

fn from(original: Spanned<Slice>) -> Expr

Converts to this type from the input type.

impl From<Spanned<SubstConstants>> for Expr

fn from(original: Spanned<SubstConstants>) -> Expr

Converts to this type from the input type.

impl From<Spanned<TreeLookup>> for Expr

fn from(original: Spanned<TreeLookup>) -> Expr

Converts to this type from the input type.

impl From<Spanned<ValDef>> for Expr

fn from(original: Spanned<ValDef>) -> Expr

Converts to this type from the input type.

impl From<SubstConstants> for Expr

fn from(v: SubstConstants) -> Self

Converts to this type from the input type.

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

fn from(t: T) -> Self

Converts to this type from the input type.

impl From<TreeLookup> for Expr

fn from(v: TreeLookup) -> Self

Converts to this type from the input type.

impl From<Tuple> for Expr

fn from(original: Tuple) -> Expr

Converts to this type from the input type.

impl From<Upcast> for Expr

fn from(original: Upcast) -> Expr

Converts to this type from the input type.

impl From<ValDef> for Expr

fn from(v: ValDef) -> Self

Converts to this type from the input type.

impl From<ValUse> for Expr

fn from(original: ValUse) -> Expr

Converts to this type from the input type.

impl From<Xor> for Expr

fn from(original: Xor) -> Expr

Converts to this type from the input type.

impl From<XorOf> for Expr

fn from(original: XorOf) -> Expr

Converts to this type from the input type.

impl PartialEq 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Print for Expr

fn print(&self, w: &mut dyn Printer) -> Result<Expr, PrintError>

Print the expression and return the resulting expression with source span

impl SigmaSerializable for Expr

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

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

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

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) -> Result<Vec<u8>, SigmaSerializationError>

Serialize any SigmaSerializable value into bytes

fn sigma_parse_bytes(bytes: &[u8]) -> Result<Self, SigmaParsingError>

Parse self from the bytes

impl TryFrom<Expr> for ()

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 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 BitInversion

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 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 CalcSha256

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 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 ConstantPlaceholder

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 CreateAvlTree

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 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 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 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 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 Downcast

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 ErgoTree

type Error = ErgoTreeError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Expr> for Exponentiate

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 ExtractBytes

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 ExtractBytesWithNoRef

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 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 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 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 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 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 MultiplyGroup

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 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 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 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 Spanned<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 Spanned<Append>

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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<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 Spanned<Slice>

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 Spanned<SubstConstants>

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 Spanned<TreeLookup>

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 Spanned<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 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 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 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 Xor

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 XorOf

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