Enum ergo_lib::ast::value::Value

pub enum Value {
    Boolean(bool),
    Byte(i8),
    Short(i16),
    Int(i32),
    Long(i64),
    BigInt,
    GroupElement(Box<EcPoint>),
    SigmaProp(Box<SigmaProp>),
    CBox(Box<ErgoBox>),
    AvlTree,
    Coll(Box<Coll>),
    Tup(TupleItems<Value>),
    Context(Rc<Context>),
    Opt(Box<Option<Value>>),
    FuncValue(Box<FuncValue>),
}

Runtime value

Variants

Boolean(bool)

Boolean

Byte(i8)

Byte

Short(i16)

Short

Int(i32)

Int

Long(i64)

Long

BigInt

Big integer

GroupElement(Box<EcPoint>)

GroupElement

SigmaProp(Box<SigmaProp>)

Sigma property

CBox(Box<ErgoBox>)

Box

AvlTree

AVL tree

Coll(Box<Coll>)

Collection of values of the same type

Tup(TupleItems<Value>)

Tuple (arbitrary type values)

Context(Rc<Context>)

Transaction(and blockchain) context info

Opt(Box<Option<Value>>)

Optional value

FuncValue(Box<FuncValue>)

lambda

Implementations

impl Value

pub fn sigma_prop(prop: SigmaProp) -> Value

Create Sigma property constant

Trait Implementations

impl Clone for Value

pub fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Eq for Value

impl From<ErgoBox> for Value

pub fn from(b: ErgoBox) -> Self

Performs the conversion.

impl<T: Into<Value>> From<Option<T>> for Value

pub fn from(opt: Option<T>) -> Self

Performs the conversion.

impl<T: Into<SigmaProp>> From<T> for Value

pub fn from(t: T) -> Self

Performs the conversion.

impl<T: LiftIntoSType + StoredNonPrimitive + Into<Value>> From<Vec<T, Global>> for Value

pub fn from(v: Vec<T>) -> Self

Performs the conversion.

impl From<Vec<i8, Global>> for Value

pub fn from(v: Vec<i8>) -> Self

Performs the conversion.

impl Into<Value> for EcPoint

pub fn into(self) -> Value

Performs the conversion.

impl PartialEq<Value> for Value

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

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

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

This method tests for !=.

impl StructuralEq for Value

impl StructuralPartialEq for Value

impl TryExtractFrom<Value> for bool

pub fn try_extract_from(cv: Value) -> Result<bool, TryExtractFromError>

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

impl TryExtractFrom<Value> for i8

pub fn try_extract_from(cv: Value) -> Result<i8, TryExtractFromError>

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

impl TryExtractFrom<Value> for Vec<u8>

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

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

impl TryExtractFrom<Value> for Rc<Context>

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

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

impl<T: TryExtractFrom<Value>> TryExtractFrom<Value> for Option<T>

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

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

impl<TupleElement0: TryExtractFrom<Value>, TupleElement1: TryExtractFrom<Value>> TryExtractFrom<Value> for (TupleElement0, TupleElement1)

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

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

impl<TupleElement0: TryExtractFrom<Value>, TupleElement1: TryExtractFrom<Value>, TupleElement2: TryExtractFrom<Value>> TryExtractFrom<Value> for (TupleElement0, TupleElement1, TupleElement2)

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

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

impl<TupleElement0: TryExtractFrom<Value>, TupleElement1: TryExtractFrom<Value>, TupleElement2: TryExtractFrom<Value>, TupleElement3: TryExtractFrom<Value>> TryExtractFrom<Value> for (TupleElement0, TupleElement1, TupleElement2, TupleElement3)

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

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

impl TryExtractFrom<Value> for i16

pub fn try_extract_from(cv: Value) -> Result<i16, TryExtractFromError>

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

impl TryExtractFrom<Value> for i32

pub fn try_extract_from(cv: Value) -> Result<i32, TryExtractFromError>

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

impl TryExtractFrom<Value> for i64

pub fn try_extract_from(cv: Value) -> Result<i64, TryExtractFromError>

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

impl TryExtractFrom<Value> for EcPoint

pub fn try_extract_from(cv: Value) -> Result<EcPoint, TryExtractFromError>

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

impl TryExtractFrom<Value> for SigmaProp

pub fn try_extract_from(cv: Value) -> Result<SigmaProp, TryExtractFromError>

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

impl TryExtractFrom<Value> for ErgoBox

pub fn try_extract_from(c: Value) -> Result<Self, TryExtractFromError>

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

impl<T: TryExtractFrom<Value> + StoredNonPrimitive> TryExtractFrom<Value> for Vec<T>

pub fn try_extract_from(c: Value) -> Result<Self, TryExtractFromError>

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

impl TryExtractFrom<Value> for Vec<i8>

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

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

impl TryFrom<Value> for ProveDlog

type Error = TryExtractFromError

The type returned in the event of a conversion error.

pub fn try_from(cv: Value) -> Result<Self, Self::Error>

Performs the conversion.