Copyright | (c) 2013-2015 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
- evalPanic :: String -> [String] -> a
- data EvalError
- invalidIndex :: Integer -> a
- typeCannotBeDemoted :: Type -> a
- divideByZero :: a
- wordTooWide :: Integer -> a
- cryUserError :: String -> a
Documentation
invalidIndex :: Integer -> a Source
A sequencing operation has gotten an invalid index.
typeCannotBeDemoted :: Type -> a Source
For things like `(inf) or `(0-1)
divideByZero :: a Source
For division by 0.
wordTooWide :: Integer -> a Source
For when we know that a word is too wide and will exceed gmp's limits (though words approaching this size will probably cause the system to crash anyway due to lack of memory)
cryUserError :: String -> a Source
For error