Cryptol.Utils.Panic

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

type CryptolPanic = Panic Cryptol

data Cryptol

Instances

PanicComponent Cryptol

Defined in Cryptol.Utils.Panic

Methods

panicComponentName :: Cryptol -> String

panicComponentIssues :: Cryptol -> String

panicComponentRevision :: Cryptol -> (String, String)

data Panic a

The exception thrown when panicing.

Instances

PanicComponent a => Show (Panic a)

Defined in Panic

Methods

showsPrec :: Int -> Panic a -> ShowS

show :: Panic a -> String

showList :: [Panic a] -> ShowS

PanicComponent a => Exception (Panic a)

Defined in Panic

Methods

toException :: Panic a -> SomeException

fromException :: SomeException -> Maybe (Panic a)

displayException :: Panic a -> String

panic :: HasCallStack => String -> [String] -> a