LocalLaws

delta_local_laws

Trait LocalLaws 

Source 
pub trait LocalLaws {
    type Input<'a>: Serialize + Deserialize<'a>;

    // Required method
    fn validate<'a>(
        verifiables: &[VerifiableWithDiffs],
        verification_context: &VerificationContext,
        input: &Self::Input<'a>,
    ) -> Result<(), LocalLawsError>;
}
Expand description

Local laws trait.

Required Associated Types§

Source

type Input<'a>: Serialize + Deserialize<'a>

The input type for the local laws.

Required Methods§

Source

fn validate<'a>( verifiables: &[VerifiableWithDiffs], verification_context: &VerificationContext, input: &Self::Input<'a>, ) -> Result<(), LocalLawsError>

Validate the local laws.

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§