Control.Monad.Reader.CPS

Documentation

newtype ReaderT r m a

Constructors

ReaderT

Fields

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

Instances

MonadError e m => MonadError e (ReaderT r m)

Methods

throwError :: e -> ReaderT r m a

catchError :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a

MonadReader r (ReaderT r m)

Methods

ask :: ReaderT r m r

local :: (r -> r) -> ReaderT r m a -> ReaderT r m a

reader :: (r -> a) -> ReaderT r m a

MonadState s m => MonadState s (ReaderT r m)

Methods

get :: ReaderT r m s

put :: s -> ReaderT r m ()

state :: (s -> (a, s)) -> ReaderT r m a

MonadWriter w m => MonadWriter w (ReaderT r m)

Methods

writer :: (a, w) -> ReaderT r m a

tell :: w -> ReaderT r m ()

listen :: ReaderT r m a -> ReaderT r m (a, w)

pass :: ReaderT r m (a, w -> w) -> ReaderT r m a

MonadTrans (ReaderT r)

Methods

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

Monad (ReaderT r m)

Methods

(>>=) :: ReaderT r m a -> (a -> ReaderT r m b) -> ReaderT r m b

(>>) :: ReaderT r m a -> ReaderT r m b -> ReaderT r m b

return :: a -> ReaderT r m a

fail :: String -> ReaderT r m a

Functor (ReaderT r m)

Methods

fmap :: (a -> b) -> ReaderT r m a -> ReaderT r m b

(<$) :: a -> ReaderT r m b -> ReaderT r m a

Applicative (ReaderT r m)

Methods

pure :: a -> ReaderT r m a

(<*>) :: ReaderT r m (a -> b) -> ReaderT r m a -> ReaderT r m b

(*>) :: ReaderT r m a -> ReaderT r m b -> ReaderT r m b

(<*) :: ReaderT r m a -> ReaderT r m b -> ReaderT r m a

MonadIO m => MonadIO (ReaderT r m)

Methods

liftIO :: IO a -> ReaderT r m a

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

module Control.Monad.Reader.Class