mtl-c-0: Monad transformers using continuation passing style

Safe HaskellTrustworthy
LanguageHaskell98

Control.Monad.Reader.CPS

Documentation

newtype ReaderT r m a Source

Constructors

ReaderT 

Fields

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

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

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

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