| 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 #
Instances
| PanicComponent What4 Source # | |
Defined in What4.Panic Methods panicComponentName :: What4 -> String panicComponentIssues :: What4 -> String panicComponentRevision :: What4 -> (String, String) | |
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.