Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
Value type for the reference evaluator.
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 #) |