blob: 49fa19bd470bdcbe66a9d414a62e8a946ec7244e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
{-# OPTIONS_GHC -fno-warn-deprecations #-}
{-# LANGUAGE ConstraintKinds #-}
module GHC.Utils.Exception
(
module Control.Exception,
module GHC.Utils.Exception
)
where
import GHC.Prelude
import Control.Exception
import Control.Exception as CE
import Control.Monad.IO.Class
import Control.Monad.Catch
-- Monomorphised versions of exception-handling utilities
catchIO :: IO a -> (IOException -> IO a) -> IO a
catchIO = CE.catch
handleIO :: (IOException -> IO a) -> IO a -> IO a
handleIO = flip catchIO
tryIO :: IO a -> IO (Either IOException a)
tryIO = CE.try
type ExceptionMonad m = (MonadCatch m, MonadThrow m, MonadMask m, MonadIO m)
|
