Struct Fusion

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

Implementations

impl<A, E> Fusion<A, E>

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

where A: Append<A1>,

Trait Implementations

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> Validator<A, E> for Fusion<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>