Struct semval::context::Context

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

A collection of violations resulting from a validation

Collects violations that are detected while performing a validation.

Methods

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

pub fn violations(&self) -> impl Iterator<Item = &V>

The violations collected so far

pub fn has_violations(&self) -> bool

Check if the context already has any violations

pub fn count_violations(&self) -> usize

Count the number of violations collected so far

pub fn add_violation(&mut self, violation: impl Into<V>)

Add a new violation to the context

pub fn merge_result(&mut self, res: Result<V>)

Merge a validation result into the context

pub fn map_and_merge_result<F, U>(&mut self, res: Result<U>, map: F) where
    F: Fn(U) -> V,
    U: Validation, 

Merge an unrelated validation into the context

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

Finish the current validation with a result

Returns Err with the context's violations or Ok if the context does not have any violations.

Trait Implementations

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

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

fn default() -> Self

Returns the "default value" for a type.

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

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> Display for Context<V> where
    V: Validation + Display, 

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

impl<V> Error for Context<V> where
    V: Validation + Display, 

fn description(&self) -> &str

This method is soft-deprecated.

fn cause(&self) -> Option<&dyn Error>

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

The lower-level cause of this error, if any.

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.