Struct SelectCombinator 

pub struct SelectCombinator<E, A, B> {
    pub lhs: OxiEither<A, E>,
    pub rhs: OxiEither<Box<dyn Fn(A) -> B>, E>,
}

The select combinator for Either, implementing Selective behaviour.

select runs a computation that may short-circuit or choose between two branches. Given OxiEither<A, E> (lhs) and OxiEither<Box<dyn Fn(A) -> B>, E> (rhs), it applies the function when lhs is Left(a), otherwise short-circuits.

Fields

lhs: OxiEither<A, E>

The left-or-value argument.

rhs: OxiEither<Box<dyn Fn(A) -> B>, E>

The function-or-error argument.

Implementations

impl<E: Clone, A, B> SelectCombinator<E, A, B>

pub fn new(lhs: OxiEither<A, E>, rhs: OxiEither<Box<dyn Fn(A) -> B>, E>) -> Self

Construct a new select combinator.

pub fn select(self) -> OxiEither<B, E>

Run the select combinator, returning OxiEither<B, E>.

pub fn select_right_law(e: E) -> OxiEither<B, E>

Witness of: select (Right e) _ = Right e