Copyright	(c) 2013-2016 Galois Inc.
License	BSD3
Maintainer	cryptol@galois.com
Stability	provisional
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Cryptol.Utils.Panic

Description

Synopsis

type HasCallStack = ?callStack :: CallStack
type CryptolPanic = Panic Cryptol
data Cryptol
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

type CryptolPanic = Panic Cryptol Source #

data Cryptol Source #

Instances

PanicComponent Cryptol Source #
Instance details 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)
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 :: HasCallStack => String -> [String] -> a Source #