Simulation.Aivika.Trans.Exception

Tested with: GHC 8.0.1

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

Documentation

class Monad m => MonadException m where

A computation within which we can throw an exception.

Minimal complete definition

catchComp, finallyComp, throwComp

Methods

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

Catch an exception within the computation.

finallyComp :: m a -> m b -> m a

Introduce a finalisation block.

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

Throw an exception.

Instances

MonadException IO

An instance of the type class.

Defined in Simulation.Aivika.IO.Exception

Methods

catchComp :: Exception e => IO a -> (e -> IO a) -> IO a

finallyComp :: IO a -> IO b -> IO a

throwComp :: Exception e => e -> IO a