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

Simulation.Aivika.Trans.Exception

Description

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

A computation within which we can throw an exception.

Methods

catchComp :: Exception e => m a -> (e -> m a) -> m a Source #

Catch an exception within the computation.

finallyComp :: m a -> m b -> m a Source #

Introduce a finalisation block.

Throw an exception.

Instances details

MonadException IO Source #	An instance of the type class.
Instance details Defined in Simulation.Aivika.IO.Exception Methods catchComp :: Exception e => IO a -> (e -> IO a) -> IO a Source # finallyComp :: IO a -> IO b -> IO a Source # throwComp :: Exception e => e -> IO a Source #