Modulehackage-security-0.6.4.0

Hackage.Security.Util.Checked

Synopsis

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

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

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

valueinternalError :: String -> IO a

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

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

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

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

classclass Throws e

Instances1Throws

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