open-witness-0.4.0.1: open witnesses

Safe HaskellNone
LanguageHaskell2010

Data.OpenWitness.Exception

Synopsis

Documentation

data Exn (e :: *) #

A key to match exceptions. The type variable is the data the exception carries.

Instances
TestEquality Exn # 
Instance details

Defined in Data.OpenWitness.Exception

Methods

testEquality :: Exn a -> Exn b -> Maybe (a :~: b) #

declexn :: TypeQ -> Q Exp #

Template Haskell function to declare Exn exception keys.

throw :: Exn e -> e -> a #

catch :: IO a -> Exn e -> (e -> IO a) -> IO a #