category-extras-0.53.6: Various modules and constructs inspired by category theory 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

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 runIxStateT :: i -> m (a, j) Instances IxMonadTrans IxStateT MonadReader r m => MonadReader r (IxStateT m i i) Monad m => MonadState i (IxStateT m i i) MonadError e m => MonadError e (IxStateT m i i) MonadWriter w m => MonadWriter w (IxStateT m i i) Monad m => IxPointed (IxStateT m) Monad m => IxFunctor (IxStateT m) Monad m => IxApplicative (IxStateT m) Monad m => IxMonad (IxStateT m) MonadPlus m => IxMonadZero (IxStateT m) MonadPlus m => IxMonadPlus (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) MonadIO m => MonadIO (IxStateT m i i) MonadCont m => MonadCont (IxStateT m i i)

newtype IxState i j a

Constructors IxState runIxState :: i -> (a, j) Instances IxPointed IxState IxFunctor IxState IxApplicative 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.1.0