add MonadThrow MonadError instances for Effect

Author: safareli

src/Control/Monad/Error/Class.purs

@@ -6,6 +6,10 @@ import Prelude
 
 import Data.Maybe (Maybe(..))
 import Data.Either (Either(..), either)
+import Effect (Effect)
+import Effect as Effect
+import Effect.Exception (Error)
+
 
 -- | The `MonadThrow` type class represents those monads which support errors via
 -- | `throwError`, where `throwError e` halts, yielding the error `e`.
@@ -76,6 +80,13 @@ instance monadThrowMaybe :: MonadThrow Unit Maybe where
 instance monadErrorMaybe :: MonadError Unit Maybe where
   catchError Nothing f  = f unit
   catchError (Just a) _ = Just a
+ 
+instance monadThrowEffect :: MonadThrow Error Effect where
+  throwError = Effect.throwException
+
+instance monadErrorEffect :: MonadError Error Effect where
+  catchError = flip Effect.catchException
+
 
 -- | Make sure that a resource is cleaned up in the event of an exception. The
 -- | release action is called regardless of whether the body action throws or