control-monad-exception 0.3 → 0.3.1

raw patch · 2 files changed

+14/−4 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• Control/Monad/Exception.hs +13/−3
• control-monad-exception.cabal +1/−1

@@ -5,8 +5,8 @@ {-# LANGUAGE OverlappingInstances #-}  module Control.Monad.Exception (-    EM,  runEM,-    EMT(..), evalEMT, runEMT, runEMTParanoid,+    EM,  evalEM, runEM, runEMParanoid,+    EMT, evalEMT, runEMT, runEMTParanoid,     MonadZeroException(..),     module Control.Monad.Exception.Class ) where @@ -38,15 +38,25 @@ mapLeft _ (Right x) = Right x  -- | Run a safe computation+evalEM :: EM (AnyException l) a -> Either SomeException a+evalEM = runIdentity . evalEMT++-- | Run a safe computation runEM :: EM NoExceptions a -> a runEM = runIdentity . runEMT +-- | Run a safe computation+runEMParanoid :: EM ParanoidMode a -> a+runEMParanoid = runIdentity . runEMTParanoid+ data MonadZeroException = MonadZeroException deriving (Show, Typeable) instance Exception MonadZeroException  newtype EMT l m a = EMT {unEMT :: m (Either (WrapException l) a)} -evalEMT :: Monad m => EMT (Caught SomeException l) m a -> m (Either SomeException a)+type AnyException = Caught SomeException++evalEMT :: Monad m => EMT (AnyException l) m a -> m (Either SomeException a) evalEMT (EMT m) = mapLeft wrapException `liftM` m  runEMT_gen :: Monad m => EMT l m a -> m a

@@ -1,5 +1,5 @@ name: control-monad-exception-version: 0.3+version: 0.3.1 Cabal-Version:  >= 1.2.3 build-type: Simple license: PublicDomain