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§

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§

Source§

impl BalanceInterface for Balance

Source§

impl BalanceInterface for SnarkBalance

Source§

type W = Witness<Fp<MontBackend<FqConfig, 4>, 4>>

Source§

type Bool = CircuitVar<Boolean>

Source§

type Amount = CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>

Source§

type SignedAmount = CheckedSigned<Fp<MontBackend<FqConfig, 4>, 4>, CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>>