Trait sov_modules_api::ValidityCondition

pub trait ValidityCondition: Serialize + DeserializeOwned + BorshDeserialize + BorshSerialize + Debug + Clone + Copy + PartialEq<Self> + Send + Sync + Eq {
    type Error: Into<Error>;

    // Required method
    fn combine<H>(&self, rhs: Self) -> Result<Self, Self::Error>
       where H: Digest;
}

This trait is implemented on the struct/enum which expresses the validity condition

Required Associated Types

type Error: Into<Error>

The error type returned when two ValidityConditions cannot be combined.

Required Methods

fn combine<H>(&self, rhs: Self) -> Result<Self, Self::Error>where H: Digest,

Combine two conditions into one (typically run inside a recursive proof). Returns an error if the two conditions cannot be combined

Implementors