cryptol-2.2.6: Cryptol: The Language of Cryptography

Copyright(c) 2013-2015 Galois, Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.Eval

Description

 

Documentation

moduleEnv :: Module -> EvalEnv -> EvalEnv Source

data EvalEnv Source

Instances

emptyEnv :: EvalEnv Source

evalExpr :: EvalEnv -> Expr -> Value Source

evalDecls :: [DeclGroup] -> EvalEnv -> EvalEnv Source

data EvalError Source

Constructors

InvalidIndex Integer 
TypeCannotBeDemoted Type 
DivideByZero 
WordTooWide Integer 
UserError String 

Instances

data WithBase a Source

Constructors

WithBase PPOpts a 

Instances