cryptol-2.9.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 or Z n integers

VRational (Either EvalError Rational)

Rational rationals

VFloat (Either EvalError BF)

Floating point numbers

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

evalExpr Source #

Arguments

:: Env

Evaluation environment

-> Expr

Expression to evaluate

-> Value 

evalDeclGroup :: Env -> DeclGroup -> Env Source #