Cryptol.Eval.Env

Documentation

type ReadEnv = EvalEnv

data EvalEnv

Constructors

EvalEnv

Fields

envVars :: Map Name Value

envTypes :: Map TVar TValue

Instances

Generic EvalEnv

Monoid EvalEnv

NFData EvalEnv

PP (WithBase EvalEnv)

type Rep EvalEnv

emptyEnv :: EvalEnv

bindVar :: Name -> Value -> EvalEnv -> EvalEnv

Bind a variable in the evaluation environment.

lookupVar :: Name -> EvalEnv -> Maybe Value

Lookup a variable in the environment.

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

Bind a type variable of kind *.

lookupType :: TVar -> EvalEnv -> Maybe TValue

Lookup a type variable.