control-monad-exception 0.10.0 → 0.10.1

raw patch · 3 files changed

+10/−3 lines, 3 filesdep ~failurePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: failure

API changes (from Hackage documentation)

- Control.Monad.Exception: NothingException :: NothingException

- Control.Monad.Exception: class Try f :: (* -> *) where { type family Error f :: (* -> *) :: *; }

- Control.Monad.Exception: class Failure e f => WrapFailure e f :: (* -> *)

- Control.Monad.Exception: data NothingException :: *

- Control.Monad.Exception: try :: (Try f, Failure (Error f) f') => f a -> f' a

- Control.Monad.Exception: wrapFailure :: WrapFailure e f => (forall eIn. Exception eIn => eIn -> e) -> f a -> f a

- Control.Monad.Exception.Base: instance [overlap ok] (Exception e, Throws e l, Failure e m, Monad m) => WrapFailure e (EMT l m)

- Control.Monad.Exception: class Monad f => Failure e f :: (* -> *)

+ Control.Monad.Exception: class Monad f => Failure e (f :: * -> *)

- Control.Monad.Exception: class Monad m => MonadLoc m :: (* -> *)

+ Control.Monad.Exception: class Monad m => MonadLoc (m :: * -> *)

- Control.Monad.Exception.Catch: class (Monad m, Monad m') => MonadCatch e m m' | e m -> m', e m' -> m

+ Control.Monad.Exception.Catch: class (Monad m, Monad m') => MonadCatch e m m' | e m -> m', e m' -> m where catchWithSrcLoc m h = catch m (h [])

Control/Monad/Exception.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-}  {-| A Monad Transformer for explicitly typed checked exceptions, described in detail by:@@ -74,8 +75,11 @@  -- * Reexports     Exception(..), SomeException(..), Typeable(..),+    Failure(..),+#if !MIN_VERSION_failure(0,2,0)     Try(..), NothingException(..),-    Failure(..), WrapFailure(..),+    WrapFailure(..),+#endif     MonadLoc(..), withLocTH ) where

Control/Monad/Exception/Base.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE FlexibleContexts, FlexibleInstances, TypeSynonymInstances #-}@@ -111,6 +112,7 @@ instance (Exception e, Throws e l, Monad m) => Failure e (EMT l m) where   failure = throw +#if !MIN_VERSION_failure(0,2,0) instance (Exception e, Throws e l, Failure e m, Monad m) => WrapFailure e (EMT l m) where   wrapFailure mkE m       = EMT $ do@@ -119,6 +121,7 @@             Right _ -> return v             Left (loc, CheckedException (SomeException e))                     -> return $ Left (loc, CheckedException $ toException $ mkE e)+#endif  instance MonadTrans (EMT l) where   lift = EMT . liftM Right

control-monad-exception.cabal view

@@ -1,5 +1,5 @@ name: control-monad-exception-version: 0.10.0+version: 0.10.1 Cabal-Version:  >= 1.6 build-type: Simple license: PublicDomain@@ -79,7 +79,7 @@  Library   buildable: True -  build-depends: failure >= 0.1 && < 0.2+  build-depends: failure >= 0.1 && < 0.3                , transformers                , monadloc