category-extras-0.51.3: Various modules and constructs inspired by category theory Source code Contents Index

Control.Monad.Indexed.State Portability portable (although the MTL instances aren't!) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class IxMonad m => IxMonadState m where Source

Methods iget :: m i i i Source iput :: j -> m i j () Source Instances IxMonadState IxState Monad m => IxMonadState (IxStateT m)

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

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

newtype IxStateT m i j a Source

Constructors IxStateT 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) Monad m => IxPointed (IxStateT m) Monad m => IxApplicative (IxStateT m) Monad m => IxFunctor (IxStateT m) MonadPlus m => IxMonadPlus (IxStateT m) MonadPlus m => IxMonadZero (IxStateT m) Monad m => IxMonad (IxStateT m) MonadFix m => IxMonadFix (IxStateT m) Monad m => IxMonadState (IxStateT m) Monad m => QFunctor (IxStateT m i) Hask Hask Monad m => PFunctor (IxStateT m i) Hask Hask Monad m => Bifunctor (IxStateT m i) Hask Hask Hask 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) MonadCont m => MonadCont (IxStateT m i i) MonadIO m => MonadIO (IxStateT m i i)

newtype IxState i j a Source

Constructors IxState runIxState :: i -> (a, j) Instances IxPointed IxState IxApplicative IxState IxFunctor IxState IxMonad IxState IxMonadFix IxState IxMonadState IxState MonadState i (IxState i i) QFunctor (IxState i) Hask Hask PFunctor (IxState i) Hask Hask Bifunctor (IxState i) Hask Hask Hask Monad (IxState i i) Functor (IxState i j) MonadFix (IxState i i) Applicative (IxState i i)

Produced by Haddock version 2.3.0