DeepControl.Monad.Trans.Reader

This module extended Reader Monad in mtl(monad-transformer-library).

Documentation

module Control.Monad.Reader

Level-2

newtype ReaderT2 r m1 m2 a

Constructors

ReaderT2

Fields

runReaderT2 :: r -> m1 (m2 a)

Instances

(Monad m1, Monad2 m2) => MonadReader r (ReaderT2 r m1 m2)

MonadTrans2 (ReaderT2 r)

(Monad m1, Monad2 m2) => Monad (ReaderT2 r m1 m2)

(Functor m1, Functor m2) => Functor (ReaderT2 r m1 m2)

(Monad m1, Monad2 m2) => Applicative (ReaderT2 s m1 m2)

(MonadIO m1, Monad m1, Monad2 m2) => MonadIO (ReaderT2 r m1 m2)

mapReaderT2 :: (m1 (m2 a) -> n1 (n2 b)) -> ReaderT2 r m1 m2 a -> ReaderT2 r n1 n2 b

Level-3

newtype ReaderT3 r m1 m2 m3 a

Constructors

ReaderT3

Fields

runReaderT3 :: r -> m1 (m2 (m3 a))

Instances

(Monad m1, Monad2 m2, Monad3 m3) => MonadReader r (ReaderT3 r m1 m2 m3)

MonadTrans3 (ReaderT3 r)

(Monad m1, Monad2 m2, Monad3 m3) => Monad (ReaderT3 r m1 m2 m3)

(Functor m1, Functor m2, Functor m3) => Functor (ReaderT3 r m1 m2 m3)

(Monad m1, Monad2 m2, Monad3 m3) => Applicative (ReaderT3 s m1 m2 m3)

(MonadIO m1, Monad m1, Monad2 m2, Monad3 m3) => MonadIO (ReaderT3 r m1 m2 m3)

mapReaderT3 :: (m1 (m2 (m3 a)) -> n1 (n2 (n3 b))) -> ReaderT3 r m1 m2 m3 a -> ReaderT3 r n1 n2 n3 b