ether-0.4.0.1: Monad transformers and classes

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Ether.Implicit.Reader

Contents

Description

Synopsis

MonadReader class

local :: forall r m a. MonadReader r m => (r -> r) -> m a -> m a Source

See local.

ask :: forall r m. MonadReader r m => m r Source

See ask.

reader :: forall r m a. MonadReader r m => (r -> a) -> m a Source

See reader.

asks :: forall r m a. MonadReader r m => (r -> a) -> m a Source

See asks.

The Reader monad

type Reader r = Reader r r Source

See Reader.

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

The ReaderT monad transformer

type ReaderT r = ReaderT r r Source

See ReaderT.

readerT :: (r -> m a) -> ReaderT r m a Source

See readerT.

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