Control.Monad.Ether.Reader.Class

See Control.Monad.Reader.Class.

Documentation

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.