| Portability | portable (although the MTL instances aren't!) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Indexed.State
Description
Documentation
class IxMonad m => IxMonadState m whereSource
Instances
| IxMonadState IxState | |
| Monad m => IxMonadState (IxStateT m) |
imodify :: IxMonadState m => (i -> j) -> m i j ()Source
igets :: IxMonadState m => (i -> a) -> m i i aSource
newtype IxStateT m i j a Source
Constructors
| IxStateT | |
Fields
| |
Instances
| IxMonadTrans IxStateT | |
| MonadReader r m => MonadReader r (IxStateT m i i) | |
| Monad m => MonadState i (IxStateT m i i) | |
| MonadError e m => MonadError e (IxStateT m i i) | |
| MonadWriter w m => MonadWriter w (IxStateT m i i) | |
| Monad m => IxPointed (IxStateT m) | |
| Monad m => IxApplicative (IxStateT m) | |
| Monad m => IxFunctor (IxStateT m) | |
| MonadPlus m => IxMonadPlus (IxStateT m) | |
| MonadPlus m => IxMonadZero (IxStateT m) | |
| Monad m => IxMonad (IxStateT m) | |
| MonadFix m => IxMonadFix (IxStateT m) | |
| Monad m => IxMonadState (IxStateT m) | |
| Monad m => QFunctor (IxStateT m i) Hask Hask | |
| Monad m => PFunctor (IxStateT m i) Hask Hask | |
| Monad m => Bifunctor (IxStateT m i) Hask Hask Hask | |
| Monad m => Monad (IxStateT m i i) | |
| Monad m => Functor (IxStateT m i j) | |
| MonadFix m => MonadFix (IxStateT m i i) | |
| Monad m => Applicative (IxStateT m i i) | |
| MonadCont m => MonadCont (IxStateT m i i) | |
| MonadIO m => MonadIO (IxStateT m i i) |
Constructors
| IxState | |
Fields
| |
Instances
| IxPointed IxState | |
| IxApplicative IxState | |
| IxFunctor IxState | |
| IxMonad IxState | |
| IxMonadFix IxState | |
| IxMonadState IxState | |
| MonadState i (IxState i i) | |
| QFunctor (IxState i) Hask Hask | |
| PFunctor (IxState i) Hask Hask | |
| Bifunctor (IxState i) Hask Hask Hask | |
| Monad (IxState i i) | |
| Functor (IxState i j) | |
| MonadFix (IxState i i) | |
| Applicative (IxState i i) |