Portability | non-portable (rank-2 polymorphism) |
---|---|
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
Constructors
IxState | |
Fields
|
newtype IxStateT m i j a Source
Constructors
IxStateT | |
Fields
|