Safe Haskell	Safe-Inferred
Language	Haskell2010

Hackage.Security.Util.Checked

Contents

Description

Checked exceptions

Synopsis

class Throws e
unthrow :: forall a e proxy. proxy e -> (Throws e => a) -> a
throwChecked :: (Exception e, Throws e) => e -> IO a
catchChecked :: forall a e. Exception e => (Throws e => IO a) -> (e -> IO a) -> IO a
handleChecked :: Exception e => (e -> IO a) -> (Throws e => IO a) -> IO a
tryChecked :: Exception e => (Throws e => IO a) -> IO (Either e a)
checkIO :: Throws IOException => IO a -> IO a
throwUnchecked :: Exception e => e -> IO a
internalError :: String -> IO a

Documentation

Checked exceptions

unthrow :: forall a e proxy. proxy e -> (Throws e => a) -> a Source #

Base exceptions

Throw a checked exception

catchChecked :: forall a e. Exception e => (Throws e => IO a) -> (e -> IO a) -> IO a Source #

Catch a checked exception

catchChecked with the arguments reversed

Like try, but for checked exceptions

Rethrow IO exceptions as checked exceptions

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.

Variation on throwUnchecked for internal errors