mina_tree::zkapps::intefaces

Trait StackInterface

Source 
pub trait StackInterface
where
    Self: Sized,
{
    type Elt;
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required methods
    fn empty() -> Self;
    fn is_empty(&self, w: &mut Self::W) -> Self::Bool;
    fn pop(&self, w: &mut Self::W) -> Opt<(Self::Elt, Self)>;
    fn push(elt: Self::Elt, onto: Self, w: &mut Self::W) -> Self;
}

Required Associated Types§

Source

type Elt

Source

type W: WitnessGenerator<Fp>

Source

type Bool: BoolInterface

Required Methods§

Source

fn empty() -> Self

Source

fn is_empty(&self, w: &mut Self::W) -> Self::Bool

Source

fn pop(&self, w: &mut Self::W) -> Opt<(Self::Elt, Self)>

Source

fn push(elt: Self::Elt, onto: Self, w: &mut Self::W) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§