Struct Valid

pub struct Valid<A, E>(/* private fields */);

Implementations

impl<A, E> Valid<A, E>

pub fn fail(e: E) -> Valid<A, E>

pub fn fail_with(message: E, description: E) -> Valid<A, E>

where E: Debug,

pub fn from_validation_err(error: ValidationError<E>) -> Self

pub fn from_vec_cause(error: Vec<Cause<E>>) -> Self

pub fn succeed(a: A) -> Valid<A, E>

pub fn from_iter<B>( iter: impl IntoIterator<Item = A>, f: impl FnMut(A) -> Valid<B, E>, ) -> Valid<Vec<B>, E>

pub fn from_option(option: Option<A>, e: E) -> Valid<A, E>

pub fn none() -> Valid<Option<A>, E>

Trait Implementations

impl<A, E> Clone for Valid<A, E>

where A: Clone, E: Clone,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug, E: Debug> Debug for Valid<A, E>

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

Formats the value using the given formatter.

impl<A, E> From<Fusion<A, E>> for Valid<A, E>

fn from(value: Fusion<A, E>) -> Self

Converts to this type from the input type.

impl<A, E> From<Result<A, ValidationError<E>>> for Valid<A, E>

fn from(value: Result<A, ValidationError<E>>) -> Self

Converts to this type from the input type.

impl<A: PartialEq, E: PartialEq> PartialEq for Valid<A, E>

fn eq(&self, other: &Valid<A, E>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A, E> Validator<A, E> for Valid<A, E>

fn to_result(self) -> Result<A, ValidationError<E>>

fn is_succeed(&self) -> bool

fn is_fail(&self) -> bool

fn map<A1>(self, f: impl FnOnce(A) -> A1) -> Valid<A1, E>

fn and<A1>(self, other: Valid<A1, E>) -> Valid<A1, E>

fn zip<A1>(self, other: Valid<A1, E>) -> Valid<(A, A1), E>

fn fuse<A1>(self, other: Valid<A1, E>) -> Fusion<(A, A1), E>

fn trace(self, message: &str) -> Valid<A, E>

fn fold<A1>( self, ok: impl FnOnce(A) -> Valid<A1, E>, err: impl FnOnce() -> Valid<A1, E>, ) -> Valid<A1, E>

fn and_then<B>(self, f: impl FnOnce(A) -> Valid<B, E>) -> Valid<B, E>

fn unit(self) -> Valid<(), E>

fn some(self) -> Valid<Option<A>, E>

fn map_to<B>(self, b: B) -> Valid<B, E>

fn when(self, f: impl FnOnce() -> bool) -> Valid<(), E>

impl<A, E> StructuralPartialEq for Valid<A, E>