Control.Monad.RWS.Interface

Definitions

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)