Trait ergo_lib::types::stype::LiftIntoSType

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

Conversion to SType

Required methods

fn stype() -> SType

get SType

Loading content...

Implementations on Foreign Types

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

fn stype() -> SType

impl LiftIntoSType for bool

fn stype() -> SType

impl LiftIntoSType for i8

fn stype() -> SType

impl LiftIntoSType for i16

fn stype() -> SType

impl LiftIntoSType for i32

fn stype() -> SType

impl LiftIntoSType for i64

fn stype() -> SType

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

fn stype() -> SType

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

fn stype() -> SType

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

fn stype() -> SType

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

fn stype() -> SType

Loading content...

Implementors

impl LiftIntoSType for SigmaBoolean

fn stype() -> SType

impl LiftIntoSType for SigmaProofOfKnowledgeTree

fn stype() -> SType

impl LiftIntoSType for ErgoBox

fn stype() -> SType

impl LiftIntoSType for EcPoint

fn stype() -> SType

impl LiftIntoSType for ProveDlog

fn stype() -> SType

impl LiftIntoSType for SigmaProp

fn stype() -> SType

Loading content...