Trait ergo_lib::types::stype::LiftIntoSType

pub trait LiftIntoSType {
    pub fn stype() -> SType;
}

Conversion to SType

Required methods

pub fn stype() -> SType

get SType

Loading content...

Implementations on Foreign Types

impl<T: LiftIntoSType> LiftIntoSType for Vec<T>

pub fn stype() -> SType

impl LiftIntoSType for bool

pub fn stype() -> SType

impl LiftIntoSType for i8

pub fn stype() -> SType

impl LiftIntoSType for i16

pub fn stype() -> SType

impl LiftIntoSType for i32

pub fn stype() -> SType

impl LiftIntoSType for i64

pub fn stype() -> SType

impl<T: LiftIntoSType> LiftIntoSType for Option<T>

pub fn stype() -> SType

impl<TupleElement0: LiftIntoSType, TupleElement1: LiftIntoSType> LiftIntoSType for (TupleElement0, TupleElement1)

pub fn stype() -> SType

impl<TupleElement0: LiftIntoSType, TupleElement1: LiftIntoSType, TupleElement2: LiftIntoSType> LiftIntoSType for (TupleElement0, TupleElement1, TupleElement2)

pub fn stype() -> SType

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

pub fn stype() -> SType

Loading content...

Implementors

impl LiftIntoSType for SigmaBoolean

pub fn stype() -> SType

impl LiftIntoSType for SigmaProofOfKnowledgeTree

pub fn stype() -> SType

impl LiftIntoSType for ErgoBox

pub fn stype() -> SType

impl LiftIntoSType for EcPoint

pub fn stype() -> SType

impl LiftIntoSType for ProveDlog

pub fn stype() -> SType

impl LiftIntoSType for SigmaProp

pub fn stype() -> SType

Loading content...