0 | module Control.Monad.RWS.Interface
 1 |
 2 | import Control.Monad.RWS.CPS
 3 | import Control.Monad.Reader.Interface
 4 | import Control.Monad.State.Interface
 5 | import Control.Monad.Writer.Interface
 6 |
 7 | %default total
 8 |
 9 | public export
10 | interface (MonadReader r m, MonadWriter w m, MonadState s m) =>
11 |   MonadRWS r w s m | m where
12 |
13 | public export
14 | (Monoid w, Monad m) => MonadRWS r w s (RWST r w s m) where
15 |