cryptol-2.7.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Cryptol.Eval.Reference

Description

 
Synopsis

Documentation

data Value Source #

Value type for the reference evaluator.

Constructors

VBit (Either EvalError Bool)

Bit booleans

VInteger (Either EvalError Integer)

Integer integers

VList Nat' [Value]

[n]a finite or infinite lists

VTuple [Value]

( .. ) tuples

VRecord [(Ident, Value)]

{ .. } records

VFun (Value -> Value)

functions

VPoly (TValue -> Value)

polymorphic values (kind *)

VNumPoly (Nat' -> Value)

polymorphic values (kind #)