cryptol-2.2.2: Cryptol: The Language of Cryptography

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

Cryptol.Eval.Env

Description

 

Synopsis

Documentation

type ReadEnv = EvalEnv Source

data EvalEnv Source

Constructors

EvalEnv 

Fields

envVars :: Map QName Value
 
envTypes :: Map TVar TValue
 

Instances

emptyEnv :: EvalEnv Source

bindVar :: QName -> Value -> EvalEnv -> EvalEnv Source

Bind a variable in the evaluation environment.

lookupVar :: QName -> EvalEnv -> Maybe Value Source

Lookup a variable in the environment.

bindType :: TVar -> TValue -> EvalEnv -> EvalEnv Source

Bind a type variable of kind *.

lookupType :: TVar -> EvalEnv -> Maybe TValue Source

Lookup a type variable.