|
|
|
Description |
A universal data type for computations which may fail. Errors are reported
using extensible exceptions. These exceptions are not explicitly stated; if
you want this kind of functionality, something like control-monad-exception
might be a more appropriate fit.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Contains either a Success value or a Failure exception.
| Constructors | | Instances | |
|
|
class FromAttempt a where | Source |
|
|
|
|
A shortcut for fromAttempt.
|
|
|
:: | | => forall e. Exception e => e -> b | success handler
| -> a -> b | | -> Attempt a | | -> b | | Process either the exception or value in an Attempt to produce a result.
This function is modeled after maybe and either. The first argument must
accept any instances of Exception. If you want to handle multiple types
of exceptions, see makeHandler. The second argument converts the success
value.
|
|
|
|
Convert multiple AttemptHandlers and a default value into an exception
handler.
This is a convenience function when you want to have special handling for a
few types of Exceptions and provide another value for anything else.
|
|
|
A simple wrapper value necesary due to the Haskell type system. Wraps a
function from a *specific* Exception type to some value.
|
|
|
module Control.Monad.Attempt.Class |
|
Produced by Haddock version 2.6.0 |