exceptions 0.6 → 0.6.1
raw patch · 2 files changed
+12/−12 lines, 2 filesdep ~basedep ~mtldep ~transformersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, mtl, transformers
API changes (from Hackage documentation)
Files
- exceptions.cabal +5/−6
- src/Control/Monad/Catch.hs +7/−6
exceptions.cabal view
@@ -1,6 +1,6 @@ name: exceptions category: Control, Exceptions, Monad-version: 0.6+version: 0.6.1 cabal-version: >= 1.8 license: BSD3 license-file: LICENSE@@ -12,7 +12,7 @@ copyright: Copyright (C) 2013-2014 Edward A. Kmett Copyright (C) 2012 Google Inc. build-type: Simple-tested-with: GHC == 7.4.1, GHC == 7.6.1+tested-with: GHC == 7.4.1, GHC == 7.6.1, GHC == 7.8.2 synopsis: Extensible optionally-pure exceptions description: Extensible optionally-pure exceptions @@ -51,10 +51,9 @@ ghc-options: -Wall -fwarn-tabs type: exitcode-stdio-1.0 build-depends:- base >= 4.3 && < 5,- transformers >= 0.2 && < 0.4,- mtl >= 2.0 && < 2.2,-+ base,+ transformers,+ mtl, test-framework >= 0.8 && < 0.9, test-framework-quickcheck2 >= 0.3 && < 0.4, QuickCheck >= 2.5 && < 2.8
src/Control/Monad/Catch.hs view
@@ -87,15 +87,16 @@ import qualified Control.Monad.Trans.State.Strict as StrictS import qualified Control.Monad.Trans.Writer.Lazy as LazyW import qualified Control.Monad.Trans.Writer.Strict as StrictW-import Control.Monad.Trans.List (ListT(..))-import Control.Monad.Trans.Maybe (MaybeT(..))-import Control.Monad.Trans.Error (ErrorT(..), Error)+import Control.Monad.Trans.List (ListT(..), runListT)+import Control.Monad.Trans.Maybe (MaybeT(..), runMaybeT)+import Control.Monad.Trans.Error (ErrorT(..), Error, runErrorT) #if MIN_VERSION_transformers(0,4,0)-import Control.Monad.Trans.Except (ExceptT(..))+import Control.Monad.Trans.Except (ExceptT(..), runExceptT) #endif import Control.Monad.Trans.Cont (ContT) import Control.Monad.Trans.Identity import Control.Monad.Reader as Reader+import Control.Monad.Trans.Reader (runReaderT) import Control.Monad.RWS import Data.Foldable @@ -226,10 +227,10 @@ instance MonadCatch m => MonadCatch (ReaderT r m) where catch (ReaderT m) c = ReaderT $ \r -> m r `catch` \e -> runReaderT (c e) r instance MonadMask m => MonadMask (ReaderT r m) where- mask a = ReaderT $ \e -> mask $ \u -> Reader.runReaderT (a $ q u) e+ mask a = ReaderT $ \e -> mask $ \u -> runReaderT (a $ q u) e where q u (ReaderT b) = ReaderT (u . b) uninterruptibleMask a =- ReaderT $ \e -> uninterruptibleMask $ \u -> Reader.runReaderT (a $ q u) e+ ReaderT $ \e -> uninterruptibleMask $ \u -> runReaderT (a $ q u) e where q u (ReaderT b) = ReaderT (u . b) instance (MonadThrow m, Monoid w) => MonadThrow (StrictW.WriterT w m) where