| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
Lang.Crucible.Panic
Synopsis
- type HasCallStack = ?callStack :: CallStack
- data Crucible
- data Panic a
- panic :: HasCallStack => String -> [String] -> a
Documentation
type HasCallStack = ?callStack :: CallStack #
Request a CallStack.
NOTE: The implicit parameter ?callStack :: CallStack is an
implementation detail and should not be considered part of the
CallStack API, we may decide to change the implementation in the
future.
Since: base-4.9.0.0
Instances
| PanicComponent Crucible Source # | |
Defined in Lang.Crucible.Panic Methods panicComponentName :: Crucible -> String # panicComponentIssues :: Crucible -> String # panicComponentRevision :: Crucible -> (String, String) # | |
The exception thrown when panicing.
Instances
| PanicComponent a => Exception (Panic a) | |
Defined in Panic Methods toException :: Panic a -> SomeException # fromException :: SomeException -> Maybe (Panic a) # displayException :: Panic a -> String # | |
| PanicComponent a => Show (Panic a) | |