Enum Expression 

pub enum Expression {
    None,
    List(Vec<Expression>),
    Map(Vec<(Expression, Expression)>),
    Tuple(Box<(Expression, Expression)>),
    Struct(StructExpr),
    Bytes(Vec<u8>),
    Number(i128),
    Bool(bool),
    String(String),
    Address(Vec<u8>),
    Hash(Vec<u8>),
    UtxoRefs(Vec<UtxoRef>),
    UtxoSet(HashSet<Utxo>),
    Assets(Vec<AssetExpr>),
    EvalParam(Box<Param>),
    EvalBuiltIn(Box<BuiltInOp>),
    EvalCompiler(Box<CompilerOp>),
    EvalCoerce(Box<Coerce>),
    AdHocDirective(Box<AdHocDirective>),
}

Variants

None

List(Vec<Expression>)

Map(Vec<(Expression, Expression)>)

Tuple(Box<(Expression, Expression)>)

Struct(StructExpr)

Bytes(Vec<u8>)

Number(i128)

Bool(bool)

String(String)

Address(Vec<u8>)

Hash(Vec<u8>)

UtxoRefs(Vec<UtxoRef>)

UtxoSet(HashSet<Utxo>)

Assets(Vec<AssetExpr>)

EvalParam(Box<Param>)

EvalBuiltIn(Box<BuiltInOp>)

EvalCompiler(Box<CompilerOp>)

EvalCoerce(Box<Coerce>)

AdHocDirective(Box<AdHocDirective>)

Implementations

impl Expression

pub fn is_none(&self) -> bool

pub fn as_option(&self) -> Option<&Expression>

pub fn into_option(self) -> Option<Expression>

pub fn as_bytes(&self) -> Option<&[u8]>

pub fn as_number(&self) -> Option<i128>

pub fn as_assets(&self) -> Option<&[AssetExpr]>

pub fn as_utxo_refs(&self) -> Option<&[UtxoRef]>

Trait Implementations

impl Apply for Expression

fn apply_args( self, args: &BTreeMap<String, ArgValue>, ) -> Result<Expression, Error>

fn apply_inputs( self, args: &BTreeMap<String, HashSet<Utxo>>, ) -> Result<Expression, Error>

fn apply_fees(self, fees: u64) -> Result<Expression, Error>

fn is_constant(&self) -> bool

fn params(&self) -> BTreeMap<String, Type>

fn queries(&self) -> BTreeMap<String, InputQuery>

fn reduce(self) -> Result<Expression, Error>

impl Arithmetic for Expression

fn add(self, other: Expression) -> Result<Expression, Error>

fn sub(self, other: Expression) -> Result<Expression, Error>

fn neg(self) -> Result<Expression, Error>

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Coerceable for Expression

fn into_assets(self) -> Result<Expression, Error>

fn into_datum(self) -> Result<Expression, Error>

impl Concatenable for Expression

fn concat(self, other: Expression) -> Result<Expression, Error>

impl Debug for Expression

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

Formats the value using the given formatter.

impl Default for Expression

fn default() -> Expression

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Expression

fn deserialize<__D>( __deserializer: __D, ) -> Result<Expression, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<BuiltInOp> for Expression

fn from(op: BuiltInOp) -> Expression

Converts to this type from the input type.

impl From<Coerce> for Expression

fn from(coerce: Coerce) -> Expression

Converts to this type from the input type.

impl From<CompilerOp> for Expression

fn from(op: CompilerOp) -> Expression

Converts to this type from the input type.

impl From<Param> for Expression

fn from(param: Param) -> Expression

Converts to this type from the input type.

impl Indexable for Expression

fn index(&self, index: Expression) -> Option<Expression>

fn index_or_err(&self, index: Expression) -> Result<Expression, Error>

impl Node for Expression

fn apply<V>(self, visitor: &mut V) -> Result<Expression, Error>

where V: Visitor,

impl PartialEq for Expression

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Expression

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Expression

impl StructuralPartialEq for Expression