cryptol-2.9.1: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellTrustworthy
LanguageHaskell2010

Cryptol.Utils.Panic

Description

 
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 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