Struct ExceptTF 

pub struct ExceptTF<E, M>(/* private fields */);

ExceptT monad transformer: adds error handling to an inner monad.

ExceptTF<E, M>::Of<A> = M::Of<Result<A, E>>

When the inner monad is IdentityF, this is equivalent to ResultF<E>.

Trait Implementations

impl<E: 'static, M: ApplicativeSt> ApplicativeSt for ExceptTF<E, M>

fn pure_st<A: 'static>(a: A) -> M::Of<Result<A, E>>

impl<E: 'static, M: ChainSt + ApplicativeSt> ChainSt for ExceptTF<E, M>

fn chain_st<A: 'static, B: 'static>( fa: M::Of<Result<A, E>>, f: impl Fn(A) -> M::Of<Result<B, E>> + 'static, ) -> M::Of<Result<B, E>>

impl<E: 'static, M: FunctorSt> FunctorSt for ExceptTF<E, M>

fn fmap_st<A: 'static, B: 'static>( fa: M::Of<Result<A, E>>, f: impl Fn(A) -> B + 'static, ) -> M::Of<Result<B, E>>

impl<E: 'static, M: HKT> HKT for ExceptTF<E, M>

type Of<A> = <M as HKT>::Of<Result<A, E>>

impl<E: 'static, M: FunctorSt> MonadTrans<M> for ExceptTF<E, M>

fn lift<A: 'static>(ma: M::Of<A>) -> M::Of<Result<A, E>>

Lift an inner monadic value into the transformer.