packages feed

control-monad-exception 0.11.1 → 0.11.2

raw patch · 2 files changed

+9/−9 lines, 2 filesdep ~monad-controlPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: monad-control

API changes (from Hackage documentation)

- Control.Monad.Exception.Pure: class Typeable1 (t :: * -> *)
- Control.Monad.Exception.Throws: instance [overlap ok] Typeable1 CheckedException
+ Control.Monad.Exception.Pure: type Typeable1 (a :: * -> *) = Typeable (* -> *) a
+ Control.Monad.Exception.Throws: instance [overlap ok] Typeable CheckedException
- Control.Monad.Exception.Catch: class (Typeable e, Show e) => Exception e
+ Control.Monad.Exception.Catch: class (Typeable * e, Show e) => Exception e
- Control.Monad.Exception.IO: class (Typeable e, Show e) => Exception e
+ Control.Monad.Exception.IO: class (Typeable * e, Show e) => Exception e
- Control.Monad.Exception.IO: class Typeable a
+ Control.Monad.Exception.IO: class Typeable (a :: k)
- Control.Monad.Exception.Pure: class (Typeable e, Show e) => Exception e
+ Control.Monad.Exception.Pure: class (Typeable * e, Show e) => Exception e

Files

Control/Monad/Exception/Base.hs view
@@ -96,14 +96,14 @@     liftBase = liftBaseDefault  instance MonadBaseControl b m => MonadBaseControl b (EMT l m) where-     newtype StM (EMT l m) a = StmEMT {unStmEMT :: ComposeSt (EMT l) m a}-     liftBaseWith = defaultLiftBaseWith StmEMT-     restoreM     = defaultRestoreM   unStmEMT+     type StM (EMT l m) a = ComposeSt (EMT l) m a+     liftBaseWith = defaultLiftBaseWith+     restoreM     = defaultRestoreM  instance MonadTransControl (EMT l) where-     newtype StT (EMT l) a = StEMT {unStEMT :: Either (CallTrace, CheckedException l) a}-     liftWith f = EMT $ liftM return $ f $ liftM StEMT . unEMT-     restoreT       = EMT . liftM unStEMT+     type StT (EMT l) a = Either (CallTrace, CheckedException l) a+     liftWith f = EMT $ liftM return $ f unEMT+     restoreT       = EMT  instance Monad m => MonadLoc (EMT l m) where     withLoc loc (EMT emt) = EMT $ do
control-monad-exception.cabal view
@@ -1,8 +1,8 @@ name: control-monad-exception-version: 0.11.1+version: 0.11.2 Cabal-Version:  >= 1.10 build-type: Simple-license: PublicDomain+license: MIT author: Pepe Iborra maintainer: pepeiborra@gmail.com homepage: http://pepeiborra.github.com/control-monad-exception@@ -82,7 +82,7 @@                , transformers >= 0.2                , transformers-base >= 0.4.1                , monadloc >= 0.7-               , monad-control >= 0.3+               , monad-control >= 1.0                , lifted-base >= 0.2.1    if flag(extensibleExceptions)