Monadoc
The latest version of partial-handler is 1.0.3-0.

partial-handler

Version 1.0.2 revision 0 uploaded by NikitaVolkov.

Package meta

Synopsis
A composable exception handler
Description

If you have ever had to compose an exception handler for exceptions of multiple types, you know how frustraiting it can get. This library approaches this issue by providing a composable exception handler type, which has instances of the standard classes.

Composability means that you can define custom partial handlers and reuse them by composing other handlers from them.

Here is an example of a composable partial handler, which only defines what to do in case of a ThreadKilled exception (the code uses the LambdaCase extension):

ignoreThreadKilled :: PartialHandler ()
ignoreThreadKilled =
  typed $ \case
    ThreadKilled -> Just $ return ()
    _ -> Nothing

Here's how you can construct a handler of type SomeException -> IO () using this library:

totalizeRethrowing $
  ignoreThreadKilled <>
  onAlreadyExists (putStrLn "Already exists")

and here is how you would do it traditionally (with the MultiWayIf extension):

\e -> if
  | Just ThreadKilled <- fromException e ->
      return ()
  | Just e' <- fromException e, isAlreadyExistsError e' ->
      putStrLn "Already exists"
  | otherwise ->
      throwIO e

Putting all the syntactic trickery to make it shorter aside, this handler is a monolith block of code. Unlike with PartialHandler you can neither decompose it into simpler ones, nor compose it with other handlers to form a more complex one.

Author
Nikita Volkov <nikita.y.volkov@mail.ru>
Bug reports
https://github.com/nikita-volkov/partial-handler/issues
Category
Exceptions, Error Handling, Failure
Copyright
(c) 2014, Nikita Volkov
Homepage
https://github.com/nikita-volkov/partial-handler
Maintainer
Nikita Volkov <nikita.y.volkov@mail.ru>
Package URL
n/a
Stability
n/a

Components