indexed-extras-0.1: Indexed functors, monads and comonads that require extensions to Haskell98

Portabilityportable (although the MTL instances aren't!)
Stabilityexperimental
MaintainerReiner Pope <reiner.pope@gmail.com>
Safe HaskellNone

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)