Control.Exception.Peel

This is a wrapped version of Control.Exception with types generalized from IO to all monads in MonadPeelIO.

Documentation

module Control.Exception.Extensible

throwIO :: (MonadIO m, Exception e) => e -> m a

Generalized version of throwIO.

ioError :: MonadIO m => IOError -> m a

Generalized version of ioError.

catch

Arguments

:: (MonadPeelIO m, Exception e)

=> m a

The computation to run

-> (e -> m a)

Handler to invoke if an exception is raised

-> m a

Generalized version of catch.

catches :: MonadPeelIO m => m a -> [Handler m a] -> m a

Generalized version of catches.

data Handler m a

Generalized version of Handler.

Constructors

Exception e => Handler (e -> m a)

catchJust

Arguments

:: (MonadPeelIO m, Exception e)

=> (e -> Maybe b)

Predicate to select exceptions

-> m a

Computation to run

-> (b -> m a)

Handler

-> m a

Generalized version of catchJust.

handle :: (MonadPeelIO m, Exception e) => (e -> m a) -> m a -> m a

Generalized version of handle.

handleJust :: (MonadPeelIO m, Exception e) => (e -> Maybe b) -> (b -> m a) -> m a -> m a

Generalized version of handleJust.

try :: (MonadPeelIO m, Exception e) => m a -> m (Either e a)

Generalized version of try.

tryJust :: (MonadPeelIO m, Exception e) => (e -> Maybe b) -> m a -> m (Either b a)

Generalized version of tryJust.

evaluate :: MonadIO m => a -> m a

Generalized version of evaluate.

bracket

Arguments

:: MonadPeelIO m

=> m a

computation to run first ("acquire resource")

-> (a -> m b)

computation to run last ("release resource")

-> (a -> m c)

computation to run in-between

-> m c

Generalized version of bracket. Note, any monadic side effects in m of the "release" computation will be discarded; it is run only for its side effects in IO.

bracket_ :: MonadPeelIO m => m a -> m b -> m c -> m c

Generalized version of bracket_. Note, any monadic side effects in m of both the "acquire" and "release" computations will be discarded. To keep the monadic side effects of the "acquire" computation, use bracket with constant functions instead.

bracketOnError

Arguments

:: MonadPeelIO m

=> m a

computation to run first ("acquire resource")

-> (a -> m b)

computation to run last ("release resource")

-> (a -> m c)

computation to run in-between

-> m c

Generalized version of bracketOnError.

finally

Arguments

:: MonadPeelIO m

=> m a

computation to run first

-> m b

computation to run afterward (even if an exception was raised)

-> m a

Generalized version of finally. Note, any monadic side effects in m of the "afterward" computation will be discarded.

onException :: MonadPeelIO m => m a -> m b -> m a

Generalized version of onException.