Struct Check 

pub struct Check { /* private fields */ }

Builder that records suppressions. prove fails if any id was suppressed — a proof must see every fatal.

Implementations

impl Check

pub fn new() -> Self

No suppressions.

pub fn without(self, id: impl Into<String>) -> Self

Record a rule id to suppress. Check::prove then fails — a proof must see every fatal.

pub fn prove<P: ProfileMarker>( self, invoice: Invoice, ) -> Result<Validated<P>, ProveError>

Mint a Validated<P> only if nothing was suppressed and validation has no fatal.

Trait Implementations

impl Clone for Check

fn clone(&self) -> Check

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Check

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Check

fn default() -> Check

Returns the “default value” for a type.