MonadRec instance for ReaderT

Author: ethul

.gitignore

@@ -4,3 +4,4 @@
 /bower_components/
 /node_modules/
 /output/
+/tmp/

docs/Control/Monad/Reader/Trans.md

@@ -35,6 +35,7 @@ instance monadReaderReaderT :: (Monad m) => MonadReader r (ReaderT r m)
 instance monadStateReaderT :: (MonadState s m) => MonadState s (ReaderT r m)
 instance monadWriterReaderT :: (Monad m, MonadWriter w m) => MonadWriter w (ReaderT r m)
 instance distributiveReaderT :: (Distributive g) => Distributive (ReaderT e g)
+instance monadRecReaderT :: (MonadRec m) => MonadRec (ReaderT r m)
 ```
 
 #### `runReaderT`

src/Control/Monad/Reader/Trans.purs

@@ -16,12 +16,16 @@ import Control.Monad.Eff.Class
 import Control.Monad.Cont.Class
 import Control.Monad.Error.Class
 import Control.Monad.Reader.Class
+import Control.Monad.Rec.Class
 import Control.Monad.State.Class
 import Control.Monad.Writer.Class
 import Control.Monad.Trans
 import Control.MonadPlus
 import Control.Plus
 
+import Data.Either
+import Data.Tuple
+
 -- | The reader monad transformer.
 -- |
 -- | This monad transformer extends the base monad transformer with a _global context_ of
@@ -96,3 +100,12 @@ instance monadWriterReaderT :: (Monad m, MonadWriter w m) => MonadWriter w (Read
 instance distributiveReaderT :: (Distributive g) => Distributive (ReaderT e g) where
   distribute a = ReaderT \e -> collect (flip runReaderT e) a
   collect f = distribute <<< map f
+
+instance monadRecReaderT :: (MonadRec m) => MonadRec (ReaderT r m) where
+  tailRecM k a = ReaderT \r -> tailRecM k' (Tuple a r)
+    where
+    k' (Tuple a r) = do
+      result <- runReaderT (k a) r
+      return case result of
+                  Left a -> Left (Tuple a r)
+                  Right b -> Right b