liquid-fixpoint-0.9.6.3.4: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellSafe-Inferred
LanguageHaskell98

Control.Exception.Compat

Documentation

data ExceptionWithContext a Source #

Constructors

ExceptionWithContext ExceptionContext a 

displayExceptionContext :: ExceptionContext -> String Source #