cryptol-2.8.0: Cryptol: The Language of Cryptography

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

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

Instances details

PanicComponent Cryptol Source # |
Instance details Defined in Cryptol.Utils.Panic Methods panicComponentName :: Cryptol -> String Source # panicComponentIssues :: Cryptol -> String Source # panicComponentRevision :: Cryptol -> (String, String) Source #

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 Source # show :: Panic a -> String Source # showList :: [Panic a] -> ShowS Source #
PanicComponent a => Exception (Panic a) |
Instance details Defined in Panic Methods toException :: Panic a -> SomeException Source # fromException :: SomeException -> Maybe (Panic a) Source # displayException :: Panic a -> String Source #

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