fb34509cf1
--HG-- extra : convert_revision : 65e5f9c80e000fc9680da857ea7a255f3125b614
42 lines
1,019 B
Haskell
42 lines
1,019 B
Haskell
{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
|
|
|
|
-- |
|
|
-- Module: System.FilePath.Manip
|
|
-- Copyright: Sergei Trofimovich
|
|
-- License: BSD3
|
|
-- Maintainer: Bryan O'Sullivan <bos@serpentine.com>
|
|
-- Stability: unstable
|
|
-- Portability: Unix-like systems (requires flexible instances)
|
|
|
|
module System.FilePath.Error
|
|
(
|
|
bracket
|
|
, bracket_
|
|
, catch
|
|
, handle
|
|
, throwIO
|
|
, Exception
|
|
) where
|
|
|
|
import qualified Control.Exception.Extensible as EE
|
|
import Prelude hiding (catch)
|
|
|
|
-- we can catch any exceptions if we need to
|
|
-- type Exception = SomeException
|
|
type Exception = EE.IOException
|
|
|
|
-- we just pin down 'EE.Exception e' to local Exception
|
|
bracket :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c
|
|
bracket = EE.bracket
|
|
|
|
bracket_ :: IO a -> IO b -> IO c -> IO c
|
|
bracket_ = EE.bracket_
|
|
|
|
catch :: IO a -> (Exception -> IO a) -> IO a
|
|
catch = EE.catch
|
|
|
|
handle :: (Exception -> IO a) -> IO a -> IO a
|
|
handle = EE.handle
|
|
|
|
throwIO :: (EE.Exception e) => e -> IO a
|
|
throwIO = EE.throwIO
|