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, M> ChainSt for ReaderTF<E, M>

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

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

where A: 'static, B: 'static,

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

where E: 'static, M: FunctorSt + 'static,

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

where A: 'static, B: 'static,

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

where E: 'static, M: HKT + 'static,

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

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

where E: 'static, M: FunctorSt + 'static,

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

where A: 'static, <M as HKT>::Of<A>: Clone,

Lift an inner monadic value into the transformer.