Portability  nonportable (rank2 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  
