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

data What4 Source #

Instances

PanicComponent What4 Source #
Instance details Defined in What4.Panic Methods panicComponentName :: What4 -> String # panicComponentIssues :: What4 -> String # panicComponentRevision :: What4 -> (String, String) #

data Panic a #

The exception thrown when panicing.

Instances

PanicComponent a => Show (Panic a)
Instance details Defined in Panic Methods showsPrec :: Int -> Panic a -> ShowS # show :: Panic a -> String # showList :: [Panic a] -> ShowS #
PanicComponent a => Exception (Panic a)
Instance details Defined in Panic Methods toException :: Panic a -> SomeException # fromException :: SomeException -> Maybe (Panic a) # displayException :: Panic a -> String #

panic Source #

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.