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, M> ApplicativeSt for ExceptTF<E, M>

where E: 'static, M: ApplicativeSt,

fn pure_st<A>(a: A) -> <M as HKT>::Of<Result<A, E>>

where A: 'static,

impl<E, M> ChainSt for ExceptTF<E, M>

where E: 'static, M: ChainSt + ApplicativeSt,

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

where A: 'static, B: 'static,

impl<E, M> FunctorSt for ExceptTF<E, M>

where E: 'static, M: FunctorSt,

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

where A: 'static, B: 'static,

impl<E, M> HKT for ExceptTF<E, M>

where E: 'static, M: HKT,

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

impl<E, M> MonadTrans<M> for ExceptTF<E, M>

where E: 'static, M: FunctorSt,

fn lift<A>(ma: <M as HKT>::Of<A>) -> <M as HKT>::Of<Result<A, E>>

where A: 'static,

Lift an inner monadic value into the transformer.