Portability | portable (although the MTL instances aren't!) |
---|---|
Stability | experimental |
Maintainer | Reiner Pope <reiner.pope@gmail.com> |
Safe Haskell | None |
Documentation
class IxMonad m => IxMonadState m whereSource
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
IxStateT | |
|
IxMonadTrans IxStateT | |
MonadError e m => MonadError e (IxStateT m i i) | |
MonadReader r m => MonadReader r (IxStateT m i i) | |
Monad m => MonadState i (IxStateT m i i) | |
MonadWriter w m => MonadWriter w (IxStateT m i i) | |
MonadFix m => IxMonadFix (IxStateT m) | |
Monad m => IxMonad (IxStateT m) | |
MonadPlus m => IxMonadZero (IxStateT m) | |
MonadPlus m => IxMonadPlus (IxStateT m) | |
Monad m => IxFunctor (IxStateT m) | |
Monad m => IxApplicative (IxStateT m) | |
Monad m => IxPointed (IxStateT m) | |
Monad m => IxMonadState (IxStateT m) | |
Monad m => Bifunctor (IxStateT m i) | |
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) | |
MonadIO m => MonadIO (IxStateT m i i) | |
MonadCont m => MonadCont (IxStateT m i i) |
IxState | |
|
IxMonadFix IxState | |
IxMonad IxState | |
IxFunctor IxState | |
IxApplicative IxState | |
IxPointed IxState | |
IxMonadState IxState | |
MonadState i (IxState i i) | |
Bifunctor (IxState i) | |
Monad (IxState i i) | |
Functor (IxState i j) | |
MonadFix (IxState i i) | |
Applicative (IxState i i) |