Idris2Doc : Control.Monad.RWS.Interface

Control.Monad.RWS.Interface

interfaceMonadRWS : Type -> Type -> Type -> (Type -> Type) -> Type
Parameters: r, w, s, m
Constraints: MonadReader r m, MonadWriter w m, MonadState s m
Implementation: 
(Monoidw, Monadm) => MonadRWSrws (RWSTrwsm)