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 IxStateT m i j a

Constructors

IxStateT

Fields

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

Instances

IxMonadTrans IxStateT

MonadError e m => MonadError e (IxStateT m i i)

MonadReader r m => MonadReader r (IxStateT m i i)

Monad m => MonadState i (IxStateT m i i)

MonadWriter w m => MonadWriter w (IxStateT m i i)

MonadFix m => IxMonadFix (IxStateT m)

Monad m => IxMonad (IxStateT m)

MonadPlus m => IxMonadZero (IxStateT m)

MonadPlus m => IxMonadPlus (IxStateT m)

Monad m => IxFunctor (IxStateT m)

Monad m => IxApplicative (IxStateT m)

Monad m => IxPointed (IxStateT m)

Monad m => IxMonadState (IxStateT m)

Monad m => Bifunctor (IxStateT m i)

Monad m => Monad (IxStateT m i i)

Monad m => Functor (IxStateT m i j)

MonadFix m => MonadFix (IxStateT m i i)

Monad m => Applicative (IxStateT m i i)

MonadIO m => MonadIO (IxStateT m i i)

MonadCont m => MonadCont (IxStateT m i i)

newtype IxState i j a

Constructors

IxState

Fields

runIxState :: i -> (a, j)

Instances

IxMonadFix IxState

IxMonad IxState

IxFunctor IxState

IxApplicative IxState

IxPointed IxState

IxMonadState IxState

MonadState i (IxState i i)

Bifunctor (IxState i)

Monad (IxState i i)

Functor (IxState i j)

MonadFix (IxState i i)

Applicative (IxState i i)