catch package:concurrency

catch :: (MonadConc m, Exception e) => m a -> (e -> m a) -> m a

Catch an exception. This is only required to be able to catch exceptions raised by throw, unlike the more general Control.Exception.catch function. If you need to be able to catch all errors, you will have to use IO.

catchSTM :: (MonadSTM stm, Exception e) => stm a -> (e -> stm a) -> stm a

concurrency Control.Monad.STM.Class

Handling exceptions from throwSTM.

waitAnyCatch :: MonadConc m => [Async m a] -> m (Async m a, Either SomeException a)

concurrency Control.Concurrent.Classy.Async

Wait for any of the supplied asynchronous operations to complete. The value returned is a pair of the Async that completed, and the result that would be returned by wait on that Async. If multiple Asyncs complete or have completed, then the value returned corresponds to the first completed Async in the list.

waitAnyCatchCancel :: MonadConc m => [Async m a] -> m (Async m a, Either SomeException a)

concurrency Control.Concurrent.Classy.Async

Like waitAnyCatch, but also cancels the other asynchronous operations as soon as one has completed.

waitAnyCatchSTM :: MonadConc m => [Async m a] -> STM m (Async m a, Either SomeException a)

concurrency Control.Concurrent.Classy.Async

A version of waitAnyCatch that can be used inside a MonadSTM transaction.

waitCatch :: MonadConc m => Async m a -> m (Either SomeException a)

concurrency Control.Concurrent.Classy.Async

Wait for an asynchronous action to complete, and return either Left e if the action raised an exception e, or Right a if it returned a value a.

waitCatchSTM :: MonadConc m => Async m a -> STM m (Either SomeException a)

concurrency Control.Concurrent.Classy.Async

A version of waitCatch that can be used inside a MonadSTM transaction.

waitEitherCatch :: MonadConc m => Async m a -> Async m b -> m (Either (Either SomeException a) (Either SomeException b))

concurrency Control.Concurrent.Classy.Async

Wait for the first of two Asyncs to finish.

waitEitherCatchCancel :: MonadConc m => Async m a -> Async m b -> m (Either (Either SomeException a) (Either SomeException b))

concurrency Control.Concurrent.Classy.Async

Like waitEitherCatch, but also cancels both Asyncs before returning.

waitEitherCatchSTM :: MonadConc m => Async m a -> Async m b -> STM m (Either (Either SomeException a) (Either SomeException b))

concurrency Control.Concurrent.Classy.Async

A version of waitEitherCatch that can be used inside a MonadSTM transaction.