From d36a234041f27b46ae561e7a8fab2725a3a8f4cc Mon Sep 17 00:00:00 2001
From: stefan-hoeck <hock@zhaw.ch>
Date: Wed, 20 Jan 2021 05:58:19 +0100
Subject: [PATCH] finished MonadRWS

---
 libs/base/Control/Monad/RWS.idr           |  3 +++
 libs/base/Control/Monad/RWS/Interface.idr | 12 ++++++++++++
 2 files changed, 15 insertions(+)

diff --git a/libs/base/Control/Monad/RWS.idr b/libs/base/Control/Monad/RWS.idr
index 605ff0d7a..7b0335558 100644
--- a/libs/base/Control/Monad/RWS.idr
+++ b/libs/base/Control/Monad/RWS.idr
@@ -2,3 +2,6 @@ module Control.Monad.RWS
 
 import public Control.Monad.RWS.CPS as Control.Monad.RWS
 import public Control.Monad.RWS.Interface as Control.Monad.RWS
+import public Control.Monad.Reader.Interface as Control.Monad.RWS
+import public Control.Monad.Writer.Interface as Control.Monad.RWS
+import public Control.Monad.State.Interface as Control.Monad.RWS
diff --git a/libs/base/Control/Monad/RWS/Interface.idr b/libs/base/Control/Monad/RWS/Interface.idr
index 22dae1f3f..e1fd2f824 100644
--- a/libs/base/Control/Monad/RWS/Interface.idr
+++ b/libs/base/Control/Monad/RWS/Interface.idr
@@ -1 +1,13 @@
 module Control.Monad.RWS.Interface
+
+import Control.Monad.RWS.CPS
+import Control.Monad.Reader.Interface
+import Control.Monad.State.Interface
+import Control.Monad.Writer.Interface
+
+public export
+interface (MonadReader r m, MonadWriter w m, MonadState s m) =>
+  MonadRWS r w s m | m where
+
+public export
+(Monoid w, Monad m) => MonadRWS r w s (RWST r w s m) where