Control.Monad.Reader.CPS

Documentation

newtype ReaderT r m a

Constructors

ReaderT

Fields

unReaderT :: forall b. r -> (a -> m b) -> m b

Instances

MonadReader r (ReaderT r m)

MonadTrans (ReaderT r)

Monad (ReaderT r m)

Functor (ReaderT r m)

Applicative (ReaderT r m)

runReaderT :: Monad m => ReaderT r m a -> r -> m a

mapReaderT :: (Monad m, Monad n) => (m a -> n b) -> ReaderT r m a -> ReaderT r n b

type Reader r = ReaderT r Identity

runReader :: Reader r a -> r -> a