category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilityportable (although the MTL instances aren't!)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Indexed.State

Description

 

Documentation

class IxMonad m => IxMonadState m whereSource

Methods

iget :: m i i iSource

iput :: j -> m i j ()Source

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 

Fields

runIxStateT :: i -> m (a, j)