Modulehackage-security-0.6.4.0Haskell2010

Hackage.Security.Util.Checked

Checked exceptions

Contents

Synopsis

classclass Throws e

Checked exceptions

Instances1Throws

Throws (Catch e)Defined in hackage-security-0.6.4.0 · Hackage.Security.Util.Checked

valueunthrow :: proxy e -> (Throws e => a) -> a

Base exceptions

valuethrowChecked :: (Exception e, Throws e) => e -> IO a

Throw a checked exception

valuecatchChecked :: Exception e => (Throws e => IO a) -> (e -> IO a) -> IO a

Catch a checked exception

valuehandleChecked :: Exception e => (e -> IO a) -> (Throws e => IO a) -> IO a

catchChecked with the arguments reversed

valuetryChecked :: Exception e => (Throws e => IO a) -> IO (Either e a)

Like try, but for checked exceptions

valuecheckIO :: Throws IOException => IO a -> IO a

Rethrow IO exceptions as checked exceptions

valuethrowUnchecked :: Exception e => e -> IO a

Throw an unchecked exception

This is just an alias for throw, but makes it evident that this is a very intentional use of an unchecked exception.

valueinternalError :: String -> IO a

Variation on throwUnchecked for internal errors