control-monad-exception-monadsfd 0.9.1 → 0.10.3
raw patch · 2 files changed
+9/−18 lines, 2 filesdep ~control-monad-exceptiondep ~transformersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: control-monad-exception, transformers
API changes (from Hackage documentation)
- Control.Monad.Exception.MonadsFD: instance (Throws SomeException l, MonadIO m) => MonadIO (EMT l m)
Files
control-monad-exception-monadsfd.cabal view
@@ -1,6 +1,6 @@ name: control-monad-exception-monadsfd-version: 0.9.1-Cabal-Version: >= 1.6+version: 0.10.3+Cabal-Version: >= 1.10 build-type: Simple license: PublicDomain author: Pepe Iborra@@ -14,14 +14,15 @@ bug-reports: http://github.com/pepeiborra/control-monad-exception/issues Library+ default-language: Haskell98 buildable: True build-depends: base > 4 && < 5- , control-monad-exception >= 0.9.1- , transformers >= 0.1.0+ , control-monad-exception >= 0.10.3+ , transformers >= 0.2 , monads-fd >= 0.1 - extensions: ScopedTypeVariables, - PackageImports,+ default-extensions: + ScopedTypeVariables, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
extensions/Control/Monad/Exception/MonadsFD.hs view
@@ -2,21 +2,17 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleContexts, FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-}-{-# LANGUAGE PackageImports #-} -- | 'EMT' liftings for the classes in the monads-fd package module Control.Monad.Exception.MonadsFD (module Control.Monad.Exception, Control.Monad.Exception.catch ) where -import qualified Control.Exception as CE- import qualified Control.Monad.Exception import Control.Monad.Exception hiding (catch, Error) import Control.Monad.Exception.Catch-import "monads-fd" Control.Monad.Cont.Class-import "monads-fd" Control.Monad.RWS.Class+import Control.Monad.Cont.Class+import Control.Monad.RWS.Class -import Control.Monad.IO.Class import Control.Monad.Trans.Class import Control.Monad.Trans.Error import Control.Monad.Trans.List@@ -27,12 +23,6 @@ import Data.Monoid import Prelude hiding (catch)--instance (Throws SomeException l, MonadIO m) => MonadIO (EMT l m) where- liftIO m = EMT (liftIO m') where- m' = liftM Right m- `CE.catch`- \(e::SomeException) -> return (Left ([], CheckedException e)) instance MonadCont m => MonadCont (EMT l m) where callCC f = EMT $ callCC $ \c -> unEMT (f (\a -> EMT $ c (Right a)))