Safe Haskell | None |
---|
- newtype RWST r w s m a = RWST {
- runRWST :: (r, s) -> m (a, s, w)
- type RWS r w s a = RWST r w s Id a
- class MonadTrans t => MonadInternal t where
- _RWST :: Iso (RWST r w s m a) (RWST r' w' s' m' a') ((r, s) -> m (a, s, w)) ((r', s') -> m' (a', s', w'))
- get_ :: (MonadTrans t, MonadState a m) => t m a
- put_ :: (MonadTrans t, MonadState s m) => s -> t m ()
- modify_ :: (MonadTrans t, MonadState s m) => (s -> s) -> t m ()
- local_ :: (MonadInternal t, MonadReader r m) => (r -> r) -> t m a -> t m a
- ask_ :: (MonadTrans t, MonadReader a m) => t m a
- tell_ :: (MonadWriter w m, MonadTrans t) => w -> t m ()
- listen_ :: (MonadInternal t, MonadWriter w m) => t m a -> t m (w, a)
- censor_ :: (MonadInternal t, MonadWriter w m) => t m (a, w -> w) -> t m a
- getAcc_ :: (MonadTrans t, MonadWriterAcc w acc m) => t m acc
Documentation
(Monad m, Monoid w, MonadFuture n m) => MonadFuture n (RWST r w s m) | |
(Monoid w, MonadError e m) => MonadError e (RWST r w s m) | |
(Monad m, Monoid w) => MonadWriter w (RWST r w s m) | |
(Monad m, Monoid w) => MonadReader r (RWST r w s m) | |
(Monad m, Monoid w) => MonadState s (RWST r w s m) | |
Monoid w => ConcreteMonad (RWST r w s) | |
Monoid w => MonadTrans (RWST r w s) | |
Monoid w => MonadInternal (RWST r w s) | |
(Unit f, Monoid w) => Unit (RWST r w s f) | |
(Monoid w, MonadCont m) => MonadCont (RWST r w s m) | |
(Monoid w, MonadList m) => MonadList (RWST r w s m) | |
(Monoid w, MonadFix m) => MonadFix (RWST r w s m) | |
Traversable m => Traversable (RWST Void w Void m) | |
Foldable m => Foldable (RWST Void w Void m) | |
(Monoid w, Monad m) => Monad (RWST r w s m) | |
(Monoid w, Monad m) => Applicative (RWST r w s m) | |
Functor f => Functor (RWST r w s f) | |
Ring (m (a, s, w)) => Ring (RWST r w s m a) | |
Semiring (m (a, s, w)) => Semiring (RWST r w s m a) | |
Monoid (m (a, s, w)) => Monoid (RWST r w s m a) | |
Semigroup (m (a, s, w)) => Semigroup (RWST r w s m a) |
class MonadTrans t => MonadInternal t whereSource
MonadInternal (StateT s) | |
MonadInternal (ReaderT r) | |
Monoid w => MonadInternal (WriterT w) | |
Monoid w => MonadInternal (RWST r w s) |
_RWST :: Iso (RWST r w s m a) (RWST r' w' s' m' a') ((r, s) -> m (a, s, w)) ((r', s') -> m' (a', s', w'))Source
Default methods
get_ :: (MonadTrans t, MonadState a m) => t m aSource
put_ :: (MonadTrans t, MonadState s m) => s -> t m ()Source
modify_ :: (MonadTrans t, MonadState s m) => (s -> s) -> t m ()Source
local_ :: (MonadInternal t, MonadReader r m) => (r -> r) -> t m a -> t m aSource
ask_ :: (MonadTrans t, MonadReader a m) => t m aSource
tell_ :: (MonadWriter w m, MonadTrans t) => w -> t m ()Source
listen_ :: (MonadInternal t, MonadWriter w m) => t m a -> t m (w, a)Source
censor_ :: (MonadInternal t, MonadWriter w m) => t m (a, w -> w) -> t m aSource
getAcc_ :: (MonadTrans t, MonadWriterAcc w acc m) => t m accSource