Struct semval::context::Context

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

A collection of invalidities resulting from a validation

Collects invalidities that are detected while performing a validation.

Methods

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: Result<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: Result<U>, map: F) -> Self where
    F: Fn(U) -> V,
    U: Invalidity, 

Merge the mapped results of another validation

Needed for collecting results from custom validation functions.

pub fn map_and_merge_result<F, U>(self, res: Result<U>, map: F) -> Self where
    F: Fn(U) -> V,
    U: Invalidity, 

Deprecated since 0.2.0:

Please use merge_result_with instead

Merge the mapped results of another validation

pub fn validate<U>(self, target: &impl Validate<Invalidity = U>) -> Self where
    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
) -> Self where
    F: Fn(U) -> V,
    U: Invalidity, 

Validate the target and merge the mapped result into this context

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

Deprecated since 0.2.0:

Please use validate_with instead

Validate the target, map the result, and merge it into this context

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

Finish the current validation of this context with a result

Trait Implementations

impl<V> Into<Result<(), Context<V>>> for Context<V> where
    V: Invalidity, 

fn into(self) -> Result<V>

Performs the conversion.

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.

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: Default> Default for Context<V> where
    V: Invalidity, 

fn default() -> Context<V>

Returns the "default value" for a type.

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

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

Formats the value using the given formatter.