Control.Monad.Ether.Reader

See Control.Monad.Reader.

MonadReader class

class Monad m => MonadReader tag r m | m tag -> r where

See MonadReader.

Minimal complete definition

(ask | reader), local

Methods

ask :: proxy tag -> m r

Retrieves the monad environment.

local

Arguments

:: proxy tag

-> (r -> r)

The function to modify the environment.

-> m a

Reader to run in the modified environment.

-> m a

Executes a computation in a modified environment.

reader

Arguments

:: proxy tag

-> (r -> a)

The selector function to apply to the environment.

-> m a

Retrieves a function of the current environment.

Instances

MonadReader tag r m => MonadReader tag r (MaybeT m)

MonadReader tag r m => MonadReader tag r (ListT m)

MonadReader tag r m => MonadReader tag r (IdentityT m)

(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT w m)

(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT w m)

MonadReader tag r m => MonadReader tag r (StateT s m)

MonadReader tag r m => MonadReader tag r (StateT s m)

MonadReader tag r m => MonadReader tag r (ReaderT r' m)

MonadReader tag r m => MonadReader tag r (ExceptT e m)

MonadReader tag r m => MonadReader tag r (ContT r' m)

MonadReader tag r m => MonadReader tag r (WrappedEther tag' m)

MonadReader tag r m => MonadReader tag r (ExceptT tag' e m)

MonadReader tag r m => MonadReader tag r (StateT tag' s m)

MonadReader tag r m => MonadReader tag r (StateT tag' s m)

(Monoid w, MonadReader tag r m) => MonadReader tag r (WriterT tag' w m)

MonadReader tag r m => MonadReader tag r (ReaderT tag' r' m)

Monad m => MonadReader tag r (ReaderT tag r m)

asks

Arguments

:: MonadReader tag r m

=> proxy tag

-> (r -> a)

The selector function to apply to the environment.

-> m a

Retrieves a function of the current environment.

The Reader monad

type Reader tag r = ReaderT tag r Identity

The parameterizable reader monad.

Computations are functions of a shared environment.

The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.

runReader :: proxy tag -> Reader tag r a -> r -> a

Runs a ReaderT with the given environment and returns the vinal value.

The ReaderT monad transformer

data ReaderT tag r m a

The reader monad transformer, which adds a read-only environment to the given monad.

The return function ignores the environment, while >>= passes the inherited environment to both subcomputations.

Instances

MonadReader tag r m => MonadReader tag r (ReaderT tag' r' m)

Monad m => MonadReader tag r (ReaderT tag r m)

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

MonadExcept tag e m => MonadExcept tag e (ReaderT tag' r m)

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

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

MonadReader r' m => MonadReader r' (ReaderT tag r m)

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

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

MonadTrans (ReaderT tag r)

Alternative m => Alternative (ReaderT tag r m)

Monad m => Monad (ReaderT tag r m)

Functor m => Functor (ReaderT tag r m)

MonadFix m => MonadFix (ReaderT tag r m)

MonadPlus m => MonadPlus (ReaderT tag r m)

Applicative m => Applicative (ReaderT tag r m)

MonadIO m => MonadIO (ReaderT tag r m)

MonadCont m => MonadCont (ReaderT tag r m)

Taggable (ReaderT tag r m)

Tagged (ReaderT tag r m) tag

Generic (ReaderT tag r m a)

Newtype (ReaderT tag r m a)

type Untagged (ReaderT tag r m) = ReaderT r m

type Tag (ReaderT tag r m) = Just * tag

type Inner (ReaderT tag r m) = Just (* -> *) m

type Rep (ReaderT tag r m a)

type O (ReaderT tag r m a) = GO (Rep (ReaderT tag r m a))

readerT :: proxy tag -> (r -> m a) -> ReaderT tag r m a

Constructor for computations in the reader monad transformer.

runReaderT :: proxy tag -> ReaderT tag r m a -> r -> m a

Runs a ReaderT with the given environment and returns the vinal value.

mapReaderT :: proxy tag -> (m a -> n b) -> ReaderT tag r m a -> ReaderT tag r n b

Transform the computation inside a ReaderT.

• runReaderT tag (mapReaderT tag f m) = f . runReaderT tag m