Portability | non-portable (multi-param classes, functional dependencies) |
---|---|
Stability | experimental |
Maintainer | Mark Snyder, marks@ittc.ku.edu |
Documentation
class (Monad m, Index ix) => MonadStateX ix s m | ix m -> s whereSource
Index ix => MonadStateX ix s (StateX ix s) | |
(Index ix, MonadStateX ix s m, Monoid w) => MonadStateX ix s (WriterT w m) | |
(Index ix, MonadStateX ix s m) => MonadStateX ix s (ReaderT r m) | |
(MonadStateX ix s1 m, Index ix) => MonadStateX ix s1 (StateT s2 m) | |
(Error e, MonadStateX ix s m) => MonadStateX ix s (ErrorT e m) | |
(Index ix, MonadStateX ix s m, Monoid w) => MonadStateX ix s (WriterT w m) | |
(Index ix, MonadStateX ix s m) => MonadStateX ix s (ReaderT r m) | |
(MonadStateX ix s1 m, Index ix) => MonadStateX ix s1 (StateT s2 m) | |
(Error e, MonadStateX ixs s m) => MonadStateX ixs s (ErrorT e m) | |
Index ix => MonadStateX ix s (StateX ix s) | |
(ErrorX ixe e, Index ixs, MonadStateX ixs s m, Index ixe) => MonadStateX ixs s (ErrorTX ixe e m) | |
(Index ixr, Index ixs, MonadStateX ixs s m) => MonadStateX ixs s (ReaderTX ixr r m) | |
(Index ix1, Index ix2, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (StateTX ix2 s2 m) | |
(Monad m, Index ix) => MonadStateX ix s (StateTX ix s m) | |
(Index ix1, Index ix2, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (StateTX ix2 s2 m) | |
(Monad m, Index ix) => MonadStateX ix s (StateTX ix s m) | |
(Monoid w, Index ixw, MonadStateX ixs s m) => MonadStateX ixs s (WriterTX ixw w m) | |
(Monoid w, MonadStateX ixs s m, Index ixw) => MonadStateX ixs s (WriterTX ixw w m) | |
(Monoid w2, Monad m, Index ix1, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (RWST r2 w2 s2 m) | |
(Monoid w2, Monad m, Index ix1, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (RWST r2 w2 s2 m) | |
(Monoid w, Index ix) => MonadStateX ix s (RWSX ix r w s) | |
(Monoid w, Index ix) => MonadStateX ix s (RWSX ix r w s) | |
(Monoid w2, Monad m, Index ix1, Index ix2, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (RWSTX ix2 r2 w2 s2 m) | |
(Monoid w, Monad m, Index ix) => MonadStateX ix s (RWSTX ix r w s m) | |
(Monoid w2, Monad m, Index ix1, Index ix2, MonadStateX ix1 s1 m) => MonadStateX ix1 s1 (RWSTX ix2 r2 w2 s2 m) | |
(Monoid w, Monad m, Index ix) => MonadStateX ix s (RWSTX ix r w s m) |
modifyx :: MonadStateX ix s m => ix -> (s -> s) -> m ()Source
getsx :: MonadStateX ix s m => ix -> (s -> a) -> m aSource