Struct Valid

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

Implementations

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

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

pub fn fail_at(error: E, trace: T) -> Valid<A, E, T>

where E: Debug,

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

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

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

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

Trait Implementations

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

where A: Clone, E: Clone, T: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<A, E, T> From<Cause<E, T>> for Valid<A, E, T>

fn from(value: Cause<E, T>) -> Self

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl<A, E, T> From<Result<A, Cause<E, T>>> for Valid<A, E, T>

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

Converts to this type from the input type.

impl<A, E, T> From<Vec<Cause<E, T>>> for Valid<A, E, T>

fn from(value: Vec<Cause<E, T>>) -> Self

Converts to this type from the input type.

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

fn eq(&self, other: &Valid<A, E, T>) -> 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, T> Validator<A, E, T> for Valid<A, E, T>

fn to_result(self) -> Result<A, Vec<Cause<E, T>>>

fn is_succeed(&self) -> bool

fn is_fail(&self) -> bool

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

fn foreach(self, f: impl FnMut(A)) -> Valid<A, E, T>

where A: Clone,

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

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

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

fn trace(self, trace: impl Into<T> + Clone) -> Valid<A, E, T>

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

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

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

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

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

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

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