Data.OpenWitness.Exception

Documentation

type Exn = IOWitness

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

unsafeExnFromString :: String -> Exn e

In the absence of open witness declarations, an unsafe hack to generate Exn exception keys. This is safe if you use a different string each time (and hashString doesn't collide), and if e is a single type.

throw :: Exn e -> e -> a

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