Moduleenclosed-exceptions-1.0.3Haskell98

Control.Exception.Enclosed

The purpose of this module is to allow you to capture all exceptions originating from within the enclosed computation, while still reacting to asynchronous exceptions aimed at the calling thread.

This way, you can be sure that the function that calls, for example, catchAny, will still respond to ThreadKilled or Timeout events raised by another thread (with throwTo), while capturing all exceptions, synchronous or asynchronous, resulting from the execution of the enclosed computation.

One particular use case is to allow the safe execution of code from various libraries (which you do not control), capturing any faults that might occur, while remaining responsive to higher level events and control actions.

This library was originally developed by Michael Snoyman for the ClassyPrelude library, and was latter 'spun-off' into a separate independent package.

For a more detailed explanation of the motivation behind this functions, see:

https://www.fpcomplete.com/user/snoyberg/general-haskell/exceptions/catching-all-exceptions

and

https://groups.google.com/forum/#!topic/haskell-cafe/e9H2I-3uVJE

Contents

Exceptions
Force types

Synopsis

value catchAny
value handleAny
value tryAny
value catchDeep
value catchAnyDeep
value handleAnyDeep
value tryDeep
value tryAnyDeep
value catchIO
value handleIO
value tryIO
value asIOException
value asSomeException

Packageenclosed-exceptions-1.0.3
Exports13
LanguageHaskell98
LicenceMIT
SourceEnclosed.hs

Exceptions

valuecatchAny :: MonadBaseControl IO m => m a -> (SomeException -> m a) -> m a

Source#

A version of catch which is specialized for any exception. This simplifies usage as no explicit type signatures are necessary.

Note that since version 0.5.9, this function now has proper support for asynchronous exceptions, by only catching exceptions generated by the internal (enclosed) action.

Since 0.5.6

valuehandleAny :: MonadBaseControl IO m => (SomeException -> m a) -> m a -> m a

Source#

A version of handle which is specialized for any exception. This simplifies usage as no explicit type signatures are necessary.

Note that since version 0.5.9, this function now has proper support for asynchronous exceptions, by only catching exceptions generated by the internal (enclosed) action.

Since 0.5.6

valuetryAny :: MonadBaseControl IO m => m a -> m (Either SomeException a)

Source#

A version of try which is specialized for any exception. This simplifies usage as no explicit type signatures are necessary.

Note that since version 0.5.9, this function now has proper support for asynchronous exceptions, by only catching exceptions generated by the internal (enclosed) action.

Since 0.5.6

valuecatchDeep

:: (Exception e, NFData a, MonadBaseControl IO m)
=> m a
-> e -> m a
-> m a

Source#

An extension to catch which ensures that the return value is fully evaluated. See tryAny.

Since 1.0.1

valuecatchAnyDeep

:: (NFData a, MonadBaseControl IO m)
=> m a
-> SomeException -> m a
-> m a

Source#

An extension to catchAny which ensures that the return value is fully evaluated. See tryAnyDeep.

Since 0.5.9

valuehandleAnyDeep

:: (NFData a, MonadBaseControl IO m)
=> SomeException -> m a
-> m a
-> m a

Source#

flip catchAnyDeep

Since 0.5.6

valuetryDeep

:: (Exception e, NFData a, MonadBaseControl IO m)
=> m a
-> m (Either e a)

Source#

an extension to try which ensures that the return value is fully evaluated. in other words, if you get a right response here, you can be confident that using it will not result in another exception.

Since 1.0.1

valuetryAnyDeep

:: (NFData a, MonadBaseControl IO m)
=> m a
-> m (Either SomeException a)

Source#

an extension to tryany which ensures that the return value is fully evaluated. in other words, if you get a right response here, you can be confident that using it will not result in another exception.

Since 0.5.9