| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Mikan.Utils.StrictReader
Contents
Description
A stricter variant of Control.Monad.Trans.Reader.
This module should almost always be preferred over Control.Monad.Trans.Reader, as it will typically result in much more optimized code.
Synopsis
Documentation
newtype ReaderT r (m :: Type -> Type) a Source #
The strict reader monad transformer, which adds a read-only environment to the given monad.
Constructors
| ReaderT | |
Fields
| |
Instances
The strict reader monad.
Instances
| MonadReader r (Reader r) Source # | |
| ExpandCase rep a => ExpandCase rep (Reader r a) Source # | |
| Applicative (Reader r) Source # | |
| Functor (Reader r) Source # | |
| Monad (Reader r) Source # | |
| Monoid a => Monoid (Reader r a) Source # | |
| Semigroup a => Semigroup (Reader r a) Source # | |
| type Result rep (Reader r a) Source # | |
Defined in Mikan.Utils.StrictReader | |
Re-exports
class Monad m => MonadReader r (m :: Type -> Type) | m -> r where #
See examples in Control.Monad.Reader.
Note, the partially applied function type (->) r is a simple reader monad.
See the instance declaration below.
Methods
Retrieves the monad environment.
Arguments
| :: (r -> r) | The function to modify the environment. |
| -> m a |
|
| -> m a |
Executes a computation in a modified environment.
Arguments
| :: (r -> a) | The selector function to apply to the environment. |
| -> m a |
Retrieves a function of the current environment.
Instances
| MonadReader NiceEnv Nice Source # | |
| (Representable f, Rep f ~ a) => MonadReader a (Co f) # | |
| MonadReader e m => MonadReader e (CatchT m) # | |
| MonadReader e m => MonadReader e (Free m) # | |
| MonadReader r m => MonadReader r (ListT m) Source # | |
| MonadReader r (Reader r) Source # | |
| MonadReader r m => MonadReader r (MaybeT m) # | |
| MonadReader s (ReifiedFold s) # | |
Defined in Control.Lens.Reified Methods ask :: ReifiedFold s s # local :: (s -> s) -> ReifiedFold s a -> ReifiedFold s a # reader :: (s -> a) -> ReifiedFold s a # | |
| MonadReader s (ReifiedGetter s) # | |
Defined in Control.Lens.Reified Methods ask :: ReifiedGetter s s # local :: (s -> s) -> ReifiedGetter s a -> ReifiedGetter s a # reader :: (s -> a) -> ReifiedGetter s a # | |
| Monad m => MonadReader r (ReaderT r m) Source # | |
| MonadReader r m => MonadReader r (StateT s m) Source # | |
| (Monad m, MonadReader r (StateT w m)) => MonadReader r (WriterT w m) Source # | |
| (Functor f, MonadReader r m) => MonadReader r (FreeT f m) # | |
| (Monoid w, MonadReader r m) => MonadReader r (AccumT w m) # | Since: mtl-2.3 |
| MonadReader r m => MonadReader r (ExceptT e m) # | Since: mtl-2.2 |
| MonadReader r m => MonadReader r (IdentityT m) # | |
| Monad m => MonadReader r (ReaderT r m) # | |
| MonadReader r m => MonadReader r (StateT s m) # | |
| MonadReader r m => MonadReader r (StateT s m) # | |
| (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) # | Since: mtl-2.3 |
| (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) # | |
| (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) # | |
| MonadReader r' m => MonadReader r' (SelectT r m) # | Since: mtl-2.3 |
| MonadReader r ((->) r) # | |
| MonadReader r' m => MonadReader r' (ContT r m) # | |
| (Monad m, Monoid w) => MonadReader r (RWST r w s m) # | Since: mtl-2.3 |
| (Monad m, Monoid w) => MonadReader r (RWST r w s m) # | |
| (Monad m, Monoid w) => MonadReader r (RWST r w s m) # | |
Arguments
| :: MonadReader r m | |
| => (r -> a) | The selector function to apply to the environment. |
| -> m a |
Retrieves a function of the current environment.