monad-finally 0.1.0.1 → 0.1.1
raw patch · 2 files changed
+24/−12 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Control.Monad.Exception: type MonadCatch μ = MonadRecover SomeException μ
+ Control.Monad.Exception: type MonadThrow μ = MonadAbort SomeException μ
- Control.Monad.Exception: catch :: (MonadRecover SomeException μ, Exception e) => μ α -> (e -> μ α) -> μ α
+ Control.Monad.Exception: catch :: (MonadCatch μ, Exception e) => μ α -> (e -> μ α) -> μ α
- Control.Monad.Exception: catchJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> μ α -> (β -> μ α) -> μ α
+ Control.Monad.Exception: catchJust :: (MonadCatch μ, Exception e) => (e -> Maybe β) -> μ α -> (β -> μ α) -> μ α
- Control.Monad.Exception: catches :: MonadRecover SomeException μ => μ α -> [Handler μ α] -> μ α
+ Control.Monad.Exception: catches :: MonadCatch μ => μ α -> [Handler μ α] -> μ α
- Control.Monad.Exception: class (Applicative μ, Monad μ) => MonadMask μ where getMaskingState = liftGetMaskingState withMaskingState = liftWithMaskingState
+ Control.Monad.Exception: class (Applicative μ, Monad μ) => MonadMask μ
- Control.Monad.Exception: handle :: (MonadRecover SomeException μ, Exception e) => (e -> μ α) -> μ α -> μ α
+ Control.Monad.Exception: handle :: (MonadCatch μ, Exception e) => (e -> μ α) -> μ α -> μ α
- Control.Monad.Exception: handleJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> (β -> μ α) -> μ α -> μ α
+ Control.Monad.Exception: handleJust :: (MonadCatch μ, Exception e) => (e -> Maybe β) -> (β -> μ α) -> μ α -> μ α
- Control.Monad.Exception: handles :: MonadRecover SomeException μ => [Handler μ α] -> μ α -> μ α
+ Control.Monad.Exception: handles :: MonadCatch μ => [Handler μ α] -> μ α -> μ α
- Control.Monad.Exception: throw :: (MonadAbort SomeException μ, Exception e) => e -> μ α
+ Control.Monad.Exception: throw :: (MonadThrow μ, Exception e) => e -> μ α
- Control.Monad.Exception: try :: (MonadRecover SomeException μ, Exception e) => μ α -> μ (Either e α)
+ Control.Monad.Exception: try :: (MonadCatch μ, Exception e) => μ α -> μ (Either e α)
- Control.Monad.Exception: tryJust :: (MonadRecover SomeException μ, Exception e) => (e -> Maybe β) -> μ α -> μ (Either β α)
+ Control.Monad.Exception: tryJust :: (MonadCatch μ, Exception e) => (e -> Maybe β) -> μ α -> μ (Either β α)
- Control.Monad.Finally: class (Applicative μ, Monad μ) => MonadFinally μ where finally' m f = bracket' (return ()) (const f) (const m) finally m = fmap fst . finally' m . const bracket' acquire release m = do { r <- acquire; finally' (m r) (release r) } bracket acquire release = fmap fst . bracket' acquire (const . release)
+ Control.Monad.Finally: class (Applicative μ, Monad μ) => MonadFinally μ
Files
- monad-finally.cabal +3/−2
- src/Control/Monad/Exception.hs +21/−10
monad-finally.cabal view
@@ -1,5 +1,5 @@ Name: monad-finally-Version: 0.1.0.1+Version: 0.1.1 Category: Control Stability: experimental Synopsis: Guard monadic computations with cleanup actions@@ -22,7 +22,8 @@ Extra-Source-Files: README.md -Tested-With: GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2+Tested-With: GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2,+ GHC==8.4.1 Cabal-Version: >= 1.6.0 Build-Type: Simple
src/Control/Monad/Exception.hs view
@@ -5,6 +5,7 @@ {-# LANGUAGE DefaultSignatures #-} {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE ImpredicativeTypes #-}@@ -19,12 +20,14 @@ module Control.Monad.Exception ( -- * Throwing exceptions- exception+ MonadThrow+ , exception , throw , throwIO , ioError , throwTo -- * Catching exceptions+ , MonadCatch , catch , handle , catchJust@@ -45,6 +48,8 @@ , uninterruptibleMask_ , interruptible , allowInterrupt+ -- * Re-exports+ , module Control.Monad.Abort.Class , module Control.Monad.Finally , module Control.Exception ) where@@ -92,6 +97,9 @@ unmaskAsyncExceptions#) import GHC.IO (IO(..)) +-- | An alias for 'MonadAbort' 'SomeException' /μ/.+type MonadThrow μ = MonadAbort SomeException μ+ -- | Throw an exception from pure code. exception ∷ Exception e ⇒ e → α exception = E.throw@@ -99,7 +107,7 @@ -- | Throw an exception from monadic code. An alias for -- @'abort' . 'toException'@.-throw ∷ (MonadAbort SomeException μ, Exception e) ⇒ e → μ α+throw ∷ (MonadThrow μ, Exception e) ⇒ e → μ α throw = abort . toException {-# INLINE throw #-} @@ -118,18 +126,21 @@ throwTo = fmap liftBase . E.throwTo {-# INLINE throwTo #-} +-- | An alias for 'MonadRecover' 'SomeException' /μ/.+type MonadCatch μ = MonadRecover SomeException μ+ -- | Recover from the specified type of exceptions.-catch ∷ (MonadRecover SomeException μ, Exception e) ⇒ μ α → (e → μ α) → μ α+catch ∷ (MonadCatch μ, Exception e) ⇒ μ α → (e → μ α) → μ α catch m h = recover m $ \e → maybe (throw e) h (fromException e) {-# INLINE catch #-} -- | An alias for @'flip' 'catch'@.-handle ∷ (MonadRecover SomeException μ, Exception e) ⇒ (e → μ α) → μ α → μ α+handle ∷ (MonadCatch μ, Exception e) ⇒ (e → μ α) → μ α → μ α handle = flip catch {-# INLINE handle #-} -- | Recover from exceptions that satisfy the provided predicate.-catchJust ∷ (MonadRecover SomeException μ, Exception e)+catchJust ∷ (MonadCatch μ, Exception e) ⇒ (e → Maybe β) -- ^ Exception predicate → μ α -- ^ Main computation → (β → μ α) -- ^ Exception handler@@ -138,7 +149,7 @@ {-# INLINE catchJust #-} -- | An alias for @'flip' . 'catchJust'@.-handleJust ∷ (MonadRecover SomeException μ, Exception e)+handleJust ∷ (MonadCatch μ, Exception e) ⇒ (e → Maybe β) → (β → μ α) → μ α → μ α handleJust = flip . catchJust {-# INLINE handleJust #-}@@ -152,25 +163,25 @@ -- | Recover from exceptions by sequentually trying to apply the provided -- handlers.-catches ∷ MonadRecover SomeException μ ⇒ μ α → [Handler μ α] → μ α+catches ∷ MonadCatch μ ⇒ μ α → [Handler μ α] → μ α catches m = recover m . hl where hl [] e = abort e hl (Handler h : hs) e = maybe (hl hs e) h $ fromException e -- | An alias for @'flip' 'catches'@.-handles ∷ MonadRecover SomeException μ ⇒ [Handler μ α] → μ α → μ α+handles ∷ MonadCatch μ ⇒ [Handler μ α] → μ α → μ α handles = flip catches {-# INLINE handles #-} -- | Recover from exceptions of the spesified type, wrapping them into -- 'Left'.-try ∷ (MonadRecover SomeException μ, Exception e) ⇒ μ α → μ (Either e α)+try ∷ (MonadCatch μ, Exception e) ⇒ μ α → μ (Either e α) try m = catch (Right <$> m) (return . Left) {-# INLINE try #-} -- | Recover from exceptions that satisfy the provided predicate, wrapping -- them into 'Left'.-tryJust ∷ (MonadRecover SomeException μ, Exception e)+tryJust ∷ (MonadCatch μ, Exception e) ⇒ (e → Maybe β) -- ^ Exception predicate → μ α -- ^ Main compuration → μ (Either β α)