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 #
type CryptolPanic = Panic Cryptol Source #
Instances
PanicComponent Cryptol Source # | |
Defined in Cryptol.Utils.Panic |
The exception thrown when panicing.
Instances
PanicComponent a => Show (Panic a) | |
PanicComponent a => Exception (Panic a) | |
Defined in Panic Methods toException :: Panic a -> SomeException fromException :: SomeException -> Maybe (Panic a) displayException :: Panic a -> String |