mina_tree::zkapps::intefaces

Trait BalanceInterface

Source 
pub trait BalanceInterface
where
    Self: Sized,
{
    type W: WitnessGenerator<Fp>;
    type Bool: BoolInterface;
    type Amount: AmountInterface;
    type SignedAmount: SignedAmountInterface;

    // Required method
    fn add_signed_amount_flagged(
        &self,
        signed_amount: Self::SignedAmount,
        w: &mut Self::W,
    ) -> (Self, Self::Bool);
}

Required Associated Types§

Source

type W: WitnessGenerator<Fp>

Source

type Bool: BoolInterface

Source

type Amount: AmountInterface

Source

type SignedAmount: SignedAmountInterface

Required Methods§

Source

fn add_signed_amount_flagged( &self, signed_amount: Self::SignedAmount, w: &mut Self::W, ) -> (Self, Self::Bool)

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§