cryptol-2.8.0: 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 #

data Panic a Source #

The exception thrown when panicing.

Instances

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