| Copyright | (c) The University of Glasgow 1998-2002 |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | cvs-ghc@haskell.org |
| Stability | internal |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Control.Exception.Context
Contents
Description
Exception context and annotations.
Synopsis
- data ExceptionContext = ExceptionContext [SomeExceptionAnnotation]
- emptyExceptionContext :: ExceptionContext
- addExceptionAnnotation :: ExceptionAnnotation a => a -> ExceptionContext -> ExceptionContext
- getExceptionAnnotations :: ExceptionAnnotation a => ExceptionContext -> [a]
- getAllExceptionAnnotations :: ExceptionContext -> [SomeExceptionAnnotation]
- displayExceptionContext :: ExceptionContext -> String
Documentation
data ExceptionContext Source #
Exception context represents a list of ExceptionAnnotations. These are
attached to SomeExceptions via addExceptionContext and
can be used to capture various ad-hoc metadata about the exception including
backtraces and application-specific context.
ExceptionContexts can be merged via concatenation using the Semigroup
instance or mergeExceptionContext.
Note that GHC will automatically solve implicit constraints of type ExceptionContext
with emptyExceptionContext.
Constructors
| ExceptionContext [SomeExceptionAnnotation] |
Instances
| Monoid ExceptionContext | |
Defined in GHC.Internal.Exception.Context Methods mempty :: ExceptionContext Source # mappend :: ExceptionContext -> ExceptionContext -> ExceptionContext Source # mconcat :: [ExceptionContext] -> ExceptionContext Source # | |
| Semigroup ExceptionContext | |
Defined in GHC.Internal.Exception.Context Methods (<>) :: ExceptionContext -> ExceptionContext -> ExceptionContext Source # sconcat :: NonEmpty ExceptionContext -> ExceptionContext Source # stimes :: Integral b => b -> ExceptionContext -> ExceptionContext Source # | |
emptyExceptionContext :: ExceptionContext Source #
An ExceptionContext containing no annotations.
@since base-4.20.0.0
addExceptionAnnotation :: ExceptionAnnotation a => a -> ExceptionContext -> ExceptionContext Source #
Construct a singleton ExceptionContext from an ExceptionAnnotation.
@since base-4.20.0.0
Destructuring
getExceptionAnnotations :: ExceptionAnnotation a => ExceptionContext -> [a] Source #
Retrieve all ExceptionAnnotations of the given type from an ExceptionContext.
@since base-4.20.0.0
displayExceptionContext :: ExceptionContext -> String Source #
Render ExceptionContext to a human-readable String.
@since base-4.20.0.0