Struct EitherTMonad 

pub struct EitherTMonad<M, E, A> {
    pub inner: Vec<OxiEither<A, E>>,
    /* private fields */
}

A monad transformer wrapper representing M (Either E A).

EitherTMonad is a thin Rust-level encoding of the EitherT transformer, holding the inner monadic value as an OxiEither<A, E> wrapped in a Vec (as a stand-in for a generic monad M).

Fields

inner: Vec<OxiEither<A, E>>

The inner value, represented as M (Either E A). We use Vec as a concrete stand-in for the monad M.

Implementations

impl<M, E: Clone, A: Clone> EitherTMonad<M, E, A>

pub fn new(value: OxiEither<A, E>) -> Self

Wrap a single OxiEither value into the transformer.

pub fn pure(a: A) -> Self

Lift a pure value into the transformer (right-inject).

pub fn throw(e: E) -> Self

Fail with an error (left-inject).

pub fn run(self) -> Option<OxiEither<A, E>>

Run the transformer, extracting the inner value.

pub fn bind<B: Clone, F>(self, f: F) -> EitherTMonad<M, E, B>

where F: FnOnce(A) -> EitherTMonad<M, E, B>,

Bind over the transformer.

pub fn map<B: Clone, F: FnOnce(A) -> B>(self, f: F) -> EitherTMonad<M, E, B>

Map over the success value.