Copyright | Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com> |
---|---|

License | BSD3 |

Maintainer | David Sorokin <david.sorokin@gmail.com> |

Stability | experimental |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

Tested with: GHC 8.0.1

It defines a type class of monads with exception handling capabilities.

## Synopsis

- class Monad m => MonadException m where
- catchComp :: Exception e => m a -> (e -> m a) -> m a
- finallyComp :: m a -> m b -> m a
- throwComp :: Exception e => e -> m a

# Documentation

class Monad m => MonadException m where Source #

A computation within which we can throw an exception.