what4-1.5.1: Solver-agnostic symbolic values support for issuing queries
Safe HaskellTrustworthy
LanguageHaskell2010

What4.Panic

Synopsis

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

Instances details
PanicComponent What4 Source # 
Instance details

Defined in What4.Panic

data Panic a #

The exception thrown when panicing.

Instances

Instances details
PanicComponent a => Exception (Panic a) 
Instance details

Defined in Panic

PanicComponent a => Show (Panic a) 
Instance details

Defined in Panic

Methods

showsPrec :: Int -> Panic a -> ShowS #

show :: Panic a -> String #

showList :: [Panic a] -> ShowS #

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.