ref: 20490c2ef5e639ba6034a47a03d0ca8bca16404f
dir: /lib/Control/Exception.hs/
module Control.Exception(
catch, try,
throwIO,
Exn(..),
exnToString,
onException,
SomeException,
) where
import Primitives
import Prelude
type SomeException = Exn
newtype Exn = Exn String
exnToString :: Exn -> String
exnToString (Exn s) = s
catch :: forall a . IO a -> (Exn -> IO a) -> IO a
catch ioa hdl = primCatch ioa (hdl . Exn)
try :: forall a . IO a -> IO (Either Exn a)
try ioa = catch (fmap Right ioa) (return . Left)
throwIO :: forall a . Exn -> IO a
throwIO (Exn s) =
let e = error s
in seq e (return e)
onException :: IO a -> IO b -> IO a
onException io what = io `catch` \e -> do _ <- what
throwIO e