pub trait AccountUpdateInterfacewhere
Self: Sized,{
type W: WitnessGenerator<Fp>;
type SingleData;
type CallForest: CallForestInterface;
type Bool: BoolInterface;
type SignedAmount: SignedAmountInterface;
type VerificationKeyHash: VerificationKeyHashInterface;
// Required methods
fn body(&self) -> &Body;
fn verification_key_hash(&self) -> Self::VerificationKeyHash;
fn is_proved(&self) -> Self::Bool;
fn is_signed(&self) -> Self::Bool;
fn check_authorization(
&self,
will_succeed: Self::Bool,
commitment: Fp,
calls: &Self::CallForest,
single_data: &Self::SingleData,
w: &mut Self::W,
) -> CheckAuthorizationResult<Self::Bool>;
fn increment_nonce(&self) -> Self::Bool;
fn use_full_commitment(&self) -> Self::Bool;
fn account_precondition_nonce_is_constant(
&self,
w: &mut Self::W,
) -> Self::Bool;
fn implicit_account_creation_fee(&self) -> Self::Bool;
fn balance_change(&self) -> Self::SignedAmount;
}Required Associated Types§
type W: WitnessGenerator<Fp>
type SingleData
type CallForest: CallForestInterface
type Bool: BoolInterface
type SignedAmount: SignedAmountInterface
type VerificationKeyHash: VerificationKeyHashInterface
Required Methods§
fn body(&self) -> &Body
fn verification_key_hash(&self) -> Self::VerificationKeyHash
fn is_proved(&self) -> Self::Bool
fn is_signed(&self) -> Self::Bool
fn increment_nonce(&self) -> Self::Bool
fn use_full_commitment(&self) -> Self::Bool
fn account_precondition_nonce_is_constant(&self, w: &mut Self::W) -> Self::Bool
fn implicit_account_creation_fee(&self) -> Self::Bool
fn balance_change(&self) -> Self::SignedAmount
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.