Control.Monad.Indexed.State

Documentation

class IxMonad m => IxMonadState m where

Methods

iget :: m i i i

iput :: j -> m i j ()

Instances

IxMonadState IxState

Monad m => IxMonadState (IxStateT m)

imodify :: IxMonadState m => (i -> j) -> m i j ()

igets :: IxMonadState m => (i -> a) -> m i i a

newtype IxState i j a

Constructors

IxState

Fields

runIxState :: i -> (a, j)

Instances

IxPointed IxState

IxApplicative IxState

IxFunctor IxState

IxMonad IxState

IxMonadState IxState

Bifunctor (IxState i)

Functor (IxState i j)

newtype IxStateT m i j a

Constructors

IxStateT

Fields

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

Instances

Monad m => IxPointed (IxStateT m)

Monad m => IxApplicative (IxStateT m)

Monad m => IxFunctor (IxStateT m)

Monad m => IxMonad (IxStateT m)

Monad m => IxMonadState (IxStateT m)

Monad m => Bifunctor (IxStateT m i)

Monad m => Functor (IxStateT m i j)