Struct semval::context::Context

pub struct Context<V>where
    V: Invalidity,{ /* private fields */ }

A collection of invalidities resulting from a validation

Collects invalidities that are detected while performing a validation.

Implementations

impl<V> Context<V>where
    V: Invalidity,

pub fn new() -> Self

Create a new valid and empty context

pub fn is_valid(&self) -> bool

Check if the context is still valid

pub fn invalidate(self, invalidity: impl Into<V>) -> Self

Record a new invalidity within this context

pub fn invalidate_if(
    self,
    is_invalid: impl Into<bool>,
    invalidity: impl Into<V>
) -> Self

Conditionally record a new invalidity within this context

pub fn merge_result(self, res: ValidationResult<V>) -> Self

Merge the results of another validation

Needed for collecting results from custom validation functions.

pub fn merge_result_with<F, U>(self, res: ValidationResult<U>, map: F) -> Selfwhere
    F: Fn(U) -> V,
    U: Invalidity,

Merge the mapped results of another validation

Needed for collecting results from custom validation functions.

pub fn validate<U>(self, target: &impl Validate<Invalidity = U>) -> Selfwhere
    U: Invalidity + Into<V>,

Validate the target and merge the result into this context

pub fn validate_with<F, U>(
    self,
    target: &impl Validate<Invalidity = U>,
    map: F
) -> Selfwhere
    F: Fn(U) -> V,
    U: Invalidity,

Validate the target and merge the mapped result into this context

pub fn into_result(self) -> ValidationResult<V>

Finish the validation

Finishes the current validation of this context with a result.

Errors

Returns Err with the collected invalidities if one or more validations failed.

Trait Implementations

impl<V: Clone> Clone for Context<V>where
    V: Invalidity,

fn clone(&self) -> Context<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for Context<V>where
    V: Invalidity,

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

Formats the value using the given formatter.

impl<V: Default> Default for Context<V>where
    V: Invalidity,

fn default() -> Context<V>

Returns the “default value” for a type.

impl<V> From<Context<V>> for ValidationResult<V>where
    V: Invalidity,

fn from(from: Context<V>) -> Self

Converts to this type from the input type.

impl<V> IntoIterator for Context<V>where
    V: Invalidity,

Transform the validation context into an iterator that yields all the collected invalidities.

type Item = V

The type of the elements being iterated over.

type IntoIter = IntoIter<[V; 8]>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.