| Copyright | (c) 2013-2016 Galois Inc. |
|---|---|
| License | BSD3 |
| Maintainer | cryptol@galois.com |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Cryptol.Eval.Reference
Description
Documentation
Value type for the reference evaluator.
Constructors
| VBit (Either EvalError Bool) |
|
| VInteger (Either EvalError Integer) |
|
| VList Nat' [Value] |
|
| VTuple [Value] |
|
| VRecord [(Ident, Value)] |
|
| VFun (Value -> Value) | functions |
| VPoly (TValue -> Value) | polymorphic values (kind *) |
| VNumPoly (Nat' -> Value) | polymorphic values (kind #) |