[][src]Enum ergo_lib::ast::ConstantVal

pub enum ConstantVal {
    Boolean(bool),
    Byte(i8),
    Short(i16),
    Int(i32),
    Long(i64),
    BigInt,
    GroupElement(Box<EcPoint>),
    SigmaProp(Box<SigmaProp>),
    CBox(Box<ErgoBox>),
    AvlTree,
    Coll(ConstantColl),
    Tup(Vec<ConstantVal>),
}

Constant 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

Collection of values of the same type

Tuple (arbitrary type values)

Implementations

impl ConstantVal[src]

pub fn sigma_prop(prop: SigmaProp) -> ConstantVal[src]

Create Sigma property constant

Trait Implementations

impl Clone for ConstantVal[src]

impl Debug for ConstantVal[src]

impl Eq for ConstantVal[src]

impl<T: Into<SigmaProp>> From<T> for ConstantVal[src]

impl Into<ConstantVal> for bool[src]

impl Into<ConstantVal> for i8[src]

impl Into<ConstantVal> for i16[src]

impl Into<ConstantVal> for i32[src]

impl Into<ConstantVal> for i64[src]

impl Into<ConstantVal> for EcPoint[src]

impl<T: LiftIntoSType + StoredNonPrimitive + Into<ConstantVal>> Into<ConstantVal> for Vec<T>[src]

impl PartialEq<ConstantVal> for ConstantVal[src]

impl StructuralEq for ConstantVal[src]

impl StructuralPartialEq for ConstantVal[src]

impl TryExtractFrom<ConstantVal> for bool[src]

impl TryExtractFrom<ConstantVal> for i8[src]

impl TryExtractFrom<ConstantVal> for i16[src]

impl TryExtractFrom<ConstantVal> for i32[src]

impl TryExtractFrom<ConstantVal> for i64[src]

impl TryExtractFrom<ConstantVal> for EcPoint[src]

impl TryExtractFrom<ConstantVal> for SigmaProp[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,