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