Idris2Doc : Control.Monad.RWS.Interface

Control.Monad.RWS.Interface

interface MonadRWS : Type -> Type -> Type -> (Type -> Type) -> Type
  Parameters: r, w, s, m
Constraints: MonadReader r m, MonadWriter w m, MonadState s m
Implementation: 
(Monoid w, Monad m) => MonadRWS r w s (RWST r w s m)