Enum Validation 

pub enum Validation {
    Valid,
    Invalid(Vec<Violation>),
    Exhausted {
        budget: usize,
    },
}

What validating a value produced.

Variants

Valid

The value satisfies the schema.

Invalid(Vec<Violation>)

It does not, and here is every reason why.

Exhausted

The step budget ran out before an answer was reached.

Deliberately not Invalid: a validator that ran out of budget has not shown the value to be wrong, and reporting it as wrong would blame the payload for the validator’s limit.

Fields

budget: usize

The budget that was exhausted.

Implementations

impl Validation

pub fn is_valid(&self) -> bool

Whether the value satisfied the schema.

Exhausted is not valid. It is not invalid either; this is the question “may it pass”, and the answer is no.

pub fn is_decided(&self) -> bool

Whether validation reached an answer at all.

false for exhaustion, which is what the checker turns into Verdict::Inconclusive.

Trait Implementations

impl Clone for Validation

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Validation

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

Formats the value using the given formatter.

impl Eq for Validation

impl PartialEq for Validation

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Validation