LIO.MonadCatch

This module generalizes throw and catch (from Control.Exception) to methods that can be defined on multiple Monads.

Documentation

class Monad m => MonadCatch m where

MonadCatch is the class used to generalize the standard IO catch and throwIO functions to methods that can be defined in multiple monads.

Methods

block :: m a -> m a

unblock :: m a -> m a

throwIO :: Exception e => e -> m a

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

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

onException :: m a -> m b -> m a

bracket :: m b -> (b -> m c) -> (b -> m a) -> m a

Instances

MonadCatch IO

Label l => MonadCatch (LIO l s)

genericBracket

Arguments

:: MonadCatch m

=> (m b -> m c -> m b)

On exception function

-> m a

Action to perform before

-> (a -> m c)

Action for afterwards

-> (a -> m b)

Main (in between) action

-> m b

Result of main action