mina_tree::zkapps::intefaces

Trait StackFrameInterface

Source 
pub trait StackFrameInterface
where
    Self: Sized,
{
    type Calls: CallForestInterface<W = Self::W>;
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;

    // Required methods
    fn caller(&self) -> TokenId;
    fn caller_caller(&self) -> TokenId;
    fn calls(&self) -> &Self::Calls;
    fn make(params: StackFrameMakeParams<'_, Self::Calls>) -> Self;
    fn make_default(params: StackFrameMakeParams<'_, Self::Calls>) -> Self;
    fn on_if<F, F2>(
        b: Self::Bool,
        param: BranchParam<Self, Self::W, F, F2>,
        w: &mut Self::W,
    ) -> Self
       where F: FnOnce(&mut Self::W) -> Self,
             F2: FnOnce(&mut Self::W) -> Self;
}

Required Associated Types§

Source

type Calls: CallForestInterface<W = Self::W>

Source

type W: WitnessGenerator<Fp>

Source

type Bool: BoolInterface

Required Methods§

Source

fn caller(&self) -> TokenId

Source

fn caller_caller(&self) -> TokenId

Source

fn calls(&self) -> &Self::Calls

Source

fn make(params: StackFrameMakeParams<'_, Self::Calls>) -> Self

Source

fn make_default(params: StackFrameMakeParams<'_, Self::Calls>) -> Self

Source

fn on_if<F, F2>( b: Self::Bool, param: BranchParam<Self, Self::W, F, F2>, w: &mut Self::W, ) -> Self
where F: FnOnce(&mut Self::W) -> Self, F2: FnOnce(&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§