Control.Exception.ChainedException

Exception that keeps the stack of error locations.

Documentation

data ChainedExceptionNext

Structure to organize the stack of exceptions with locations

Constructors

Null

exception was initiated by chainedError

Next SomeException

some context was added to SomeException by addContext

NextChained ChainedException

some context was added to a ChainedException by addContext

data ChainedException

Exception that keeps track of error locations

Constructors

ChainedException

Fields

• err :: String

  description of the error

• loc :: Loc

  location

• stack :: ChainedExceptionNext

  stack of locations

Instances

Exception ChainedException

Defined in Control.Exception.ChainedException

Methods

toException :: ChainedException -> SomeException

fromException :: SomeException -> Maybe ChainedException

displayException :: ChainedException -> String

Show ChainedException

Defined in Control.Exception.ChainedException

Methods

showsPrec :: Int -> ChainedException -> ShowS

show :: ChainedException -> String

showList :: [ChainedException] -> ShowS

chainedError :: Q Exp

$chainedError results in a function of type 'chainedError :: MonadThrow m => String -> m a'. It throws ChainedException with its argument as error description.

chainedError' :: Q Exp

$chainedError' is the same as $chainedError ""

addContext :: Q Exp

$addContext results in a function of type 'addContext :: MonadCatch m => String -> m a -> m a'. It runs the second argument and adds ChainedException with its first argument to the exceptions thrown from that monad.

addContext' :: Q Exp

$addContext' is the same as $addContext ""

maybeAddContext :: Q Exp

$maybeAddContext results in a function of type 'maybeAddContext :: MonadThrow m => String -> Maybe a -> m a'. If its second argument is Nothing, it throws ChainedException with its first argument, else it returns the value of Just.

maybeAddContext' :: Q Exp

$maybeAddContext' is the same as $maybeAddContext ""

eitherAddContext' :: Q Exp

$eitherAddContext' results in a function of type 'eitherAddContext' :: MonadThrow m => Either String a -> m a'. If its argument is Left e, it throws ChainedException with e as error description, else it returns the value of Right.