category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Indexed.State
Portabilityportable (although the MTL instances aren't!)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class IxMonad m => IxMonadState m whereSource
Methods
iget :: m i i iSource
iput :: j -> m i j ()Source
show/hide Instances
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
runIxStateT :: i -> m (a, j)
show/hide Instances
newtype IxState i j a Source
Constructors
IxState
runIxState :: i -> (a, j)
show/hide Instances
Produced by Haddock version 2.4.2