base-compat-batteries-0.13.1: base-compat with extra batteries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Exception.Compat

Documentation

interruptible :: IO a -> IO a #

throwTo :: Exception e => ThreadId -> e -> IO () #

assert :: Bool -> a -> a #

bracket :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c #

try :: Exception e => IO a -> IO (Either e a) #

data MaskingState #

Instances

Instances details
Show MaskingState 
Instance details

Defined in GHC.IO

Eq MaskingState 
Instance details

Defined in GHC.IO

catch :: Exception e => IO a -> (e -> IO a) -> IO a #

mask :: ((forall a. IO a -> IO a) -> IO b) -> IO b #

throwIO :: Exception e => e -> IO a #

mask_ :: IO a -> IO a #

onException :: IO a -> IO b -> IO a #

evaluate :: a -> IO a #

throw :: forall a e. Exception e => e -> a #

class (Typeable e, Show e) => Exception e where #

Minimal complete definition

Nothing

Instances

Instances details
Exception NestedAtomically 
Instance details

Defined in Control.Exception.Base

Exception NoMatchingContinuationPrompt 
Instance details

Defined in Control.Exception.Base

Methods

toException :: NoMatchingContinuationPrompt -> SomeException #

fromException :: SomeException -> Maybe NoMatchingContinuationPrompt #

displayException :: NoMatchingContinuationPrompt -> String #

Exception NoMethodError 
Instance details

Defined in Control.Exception.Base

Exception NonTermination 
Instance details

Defined in Control.Exception.Base

Exception PatternMatchFail 
Instance details

Defined in Control.Exception.Base

Exception RecConError 
Instance details

Defined in Control.Exception.Base

Exception RecSelError 
Instance details

Defined in Control.Exception.Base

Exception RecUpdError 
Instance details

Defined in Control.Exception.Base

Exception TypeError 
Instance details

Defined in Control.Exception.Base

Exception Dynamic 
Instance details

Defined in Data.Dynamic

Methods

toException :: Dynamic -> SomeException #

fromException :: SomeException -> Maybe Dynamic #

displayException :: Dynamic -> String #

Exception Void 
Instance details

Defined in GHC.Exception.Type

Exception ErrorCall 
Instance details

Defined in GHC.Exception

Exception ArithException 
Instance details

Defined in GHC.Exception.Type

Exception SomeException 
Instance details

Defined in GHC.Exception.Type

Exception AllocationLimitExceeded 
Instance details

Defined in GHC.IO.Exception

Exception ArrayException 
Instance details

Defined in GHC.IO.Exception

Exception AssertionFailed 
Instance details

Defined in GHC.IO.Exception

Exception AsyncException 
Instance details

Defined in GHC.IO.Exception

Exception BlockedIndefinitelyOnMVar 
Instance details

Defined in GHC.IO.Exception

Exception BlockedIndefinitelyOnSTM 
Instance details

Defined in GHC.IO.Exception

Exception CompactionFailed 
Instance details

Defined in GHC.IO.Exception

Exception Deadlock 
Instance details

Defined in GHC.IO.Exception

Exception ExitCode 
Instance details

Defined in GHC.IO.Exception

Exception FixIOException 
Instance details

Defined in GHC.IO.Exception

Methods

toException :: FixIOException -> SomeException #

fromException :: SomeException -> Maybe FixIOException #

displayException :: FixIOException -> String #

Exception IOException 
Instance details

Defined in GHC.IO.Exception

Exception SomeAsyncException 
Instance details

Defined in GHC.IO.Exception

Exception IOPortException 
Instance details

Defined in GHC.IOPort

Methods

toException :: IOPortException -> SomeException #

fromException :: SomeException -> Maybe IOPortException #

displayException :: IOPortException -> String #

Exception Timeout 
Instance details

Defined in System.Timeout

Methods

toException :: Timeout -> SomeException #

fromException :: SomeException -> Maybe Timeout #

displayException :: Timeout -> String #

data Deadlock #

Constructors

Deadlock 

Instances

Instances details
Exception Deadlock 
Instance details

Defined in GHC.IO.Exception

Show Deadlock 
Instance details

Defined in GHC.IO.Exception

catches :: IO a -> [Handler a] -> IO a #

bracketOnError :: IO a -> (a -> IO b) -> (a -> IO c) -> IO c #

bracket_ :: IO a -> IO b -> IO c -> IO c #

catchJust :: Exception e => (e -> Maybe b) -> IO a -> (b -> IO a) -> IO a #

finally :: IO a -> IO b -> IO a #

handle :: Exception e => (e -> IO a) -> IO a -> IO a #

handleJust :: Exception e => (e -> Maybe b) -> (b -> IO a) -> IO a -> IO a #

mapException :: (Exception e1, Exception e2) => (e1 -> e2) -> a -> a #

tryJust :: Exception e => (e -> Maybe b) -> IO a -> IO (Either b a) #

uninterruptibleMask :: ((forall a. IO a -> IO a) -> IO b) -> IO b #

data Handler a #

Constructors

Exception e => Handler (e -> IO a) 

Instances

Instances details
Functor Handler 
Instance details

Defined in Control.Exception

Methods

fmap :: (a -> b) -> Handler a -> Handler b #

(<$) :: a -> Handler b -> Handler a #

newtype TypeError #

Constructors

TypeError String 

data ErrorCall #

Bundled Patterns

pattern ErrorCall :: String -> ErrorCall 

Instances

Instances details
Exception ErrorCall 
Instance details

Defined in GHC.Exception

Show ErrorCall 
Instance details

Defined in GHC.Exception

Eq ErrorCall 
Instance details

Defined in GHC.Exception

Ord ErrorCall 
Instance details

Defined in GHC.Exception