Merge pull request #82 from mlang/altRWST

Alt instance for RWST.
purescript · Jan 3, 2017 · 7b82f15 · 7b82f15
2 parents ab7ccac + 43e7f0c
commit 7b82f15
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Control/Monad/RWS/Trans.purs b/src/Control/Monad/RWS/Trans.purs
@@ -8,6 +8,7 @@ module Control.Monad.RWS.Trans
 
 import Prelude
 
+import Control.Alt (class Alt, (<|>))
 import Control.Monad.Eff.Class (class MonadEff, liftEff)
 import Control.Monad.Error.Class (class MonadError, throwError, catchError)
 import Control.Monad.Reader.Class (class MonadAsk, class MonadReader)
@@ -58,6 +59,9 @@ instance applyRWST :: (Bind m, Monoid w) => Apply (RWST r w s m) where
     m r s' <#> \(RWSResult s'' a'' w'') ->
     RWSResult s'' (f' a'') (w' <> w'')
 
+instance altRWST :: Alt m => Alt (RWST r w s m) where
+  alt (RWST m) (RWST n) = RWST $ \ r s -> m r s <|> n r s
+
 instance bindRWST :: (Bind m, Monoid w) => Bind (RWST r w s m) where
   bind (RWST m) f = RWST \r s ->
     m r s >>= \(RWSResult s' a w) ->