Documentation
data Index ix => RWSX ix r w s a Source
RWSX ix (r -> s -> (a, s, w)) |
(Monoid w, Index ix) => MonadRWSX ix r w s (RWSX ix r w s) | |
(Monoid w, Index ix) => MonadReaderX ix r (RWSX ix r w s) | |
(Monoid w, Index ix) => MonadStateX ix s (RWSX ix r w s) | |
(Monoid w, Index ix) => MonadWriterX ix w (RWSX ix r w s) | |
(Monoid w, Index ix) => Monad (RWSX ix r w s) | |
Index ix => Functor (RWSX ix r w s) | |
(Monoid w, Index ix) => MonadFix (RWSX ix r w s) |
data Index ix => RWSTX ix r w s m a Source
RWSTX ix (r -> s -> m (a, s, w)) |
(Monoid w, Monad m, MonadRWSX ix r w s m, MonadStateX ix s m, MonadReaderX ix r m, MonadWriterX ix w m, Index ix) => MonadRWSX ix r w s (RWSTX ix r w s m) | |
(MonadReaderX ixr r m, Monad m, Monoid w3, Index ixr, Index ix3) => MonadReaderX ixr r (RWSTX ix3 r3 w3 s3 m) | |
(Monoid w, Monad m, Index ix) => MonadReaderX ix r (RWSTX ix r w s m) | |
(MonadStateX ixs s m, Monad m, Monoid w3, Index ixs, Index ix3) => MonadStateX ixs s (RWSTX ix3 r3 w3 s3 m) | |
(Monoid w, Monad m, Index ix) => MonadStateX ix s (RWSTX ix r w s m) | |
(MonadWriterX ixw w m, Monad m, Monoid w3, Monoid w, Index ixw, Index ix3) => MonadWriterX ixw w (RWSTX ix3 r3 w3 s3 m) | |
(Monoid w, Monad m, Index ix) => MonadWriterX ix w (RWSTX ix r w s m) | |
(Monoid w, MonadErrorX ixe e m, Index ix, Index ixe) => MonadErrorX ixe e (RWSTX ix r w s m) | |
(Monoid w, MonadError e m, Index ix) => MonadError e (RWSTX ix r w s m) | |
(Monoid w, Index ix) => MonadTrans (RWSTX ix r w s) | |
(Monoid w, Monad m, Index ix) => Monad (RWSTX ix r w s m) | |
(Monad m, Index ix) => Functor (RWSTX ix r w s m) | |
(Monoid w, MonadFix m, Index ix) => MonadFix (RWSTX ix r w s m) | |
(Monoid w, MonadPlus m, Index ix) => MonadPlus (RWSTX ix r w s m) | |
(Monoid w, MonadCont m, Index ix) => MonadCont (RWSTX ix r w s m) | |
(Monoid w, MonadIO m, Index ix) => MonadIO (RWSTX ix r w s m) |
mapRWSTX :: Index ix => ix -> (m (a, s, w) -> n (b, s, w')) -> RWSTX ix r w s m a -> RWSTX ix r w' s n bSource
withRWSTX :: Index ix => ix -> (r' -> s -> (r, s)) -> RWSTX ix r w s m a -> RWSTX ix r' w s m aSource
module Control.Monad
module Control.Monad.Fix
module Control.Monad.Trans
module Data.Monoid
module Control.Monad.RWSX.Class