| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
What4.Panic
Synopsis
- type HasCallStack = ?callStack :: CallStack
- data What4
- 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 What4 Source # | |
Defined in What4.Panic Methods panicComponentName :: What4 -> String # panicComponentIssues :: What4 -> String # panicComponentRevision :: What4 -> (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) | |
Arguments
| :: HasCallStack | |
| => String | Short name of where the error occured |
| -> [String] | More detailed description of the error |
| -> a |
panic represents an error condition that should only
arise due to a programming error. It will exit the program
and print a message asking users to open a ticket.