Struct ReaderTF 

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

ReaderT monad transformer: adds environment-passing to an inner monad.

ReaderTF<E, M>::Of<A> = Box<dyn Fn(E) -> M::Of<A>>

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

Trait Implementations

impl<E: Clone + 'static, M: ChainSt + 'static> ChainSt for ReaderTF<E, M>

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

impl<E: 'static, M: FunctorSt + 'static> FunctorSt for ReaderTF<E, M>

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

impl<E: 'static, M: HKT + 'static> HKT for ReaderTF<E, M>

type Of<A> = Box<dyn Fn(E) -> <M as HKT>::Of<A>>

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

fn lift<A: 'static>(ma: M::Of<A>) -> Box<dyn Fn(E) -> M::Of<A>>

where M::Of<A>: Clone,

Lift an inner monadic value into the transformer.