Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
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
IxState | |
|
newtype IxStateT m i j a Source
IxStateT | |
|