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 => Show (Panic a) | |
PanicComponent a => Exception (Panic a) | |
Defined in Panic Methods toException :: Panic a -> SomeException # fromException :: SomeException -> Maybe (Panic a) # displayException :: Panic a -> String # |
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.