Cryptol.Eval.Env

Documentation

type ReadEnv = EvalEnv

data EvalEnv

Constructors

EvalEnv

Fields

• envVars :: Map Name Value
• envTypes :: Map TVar (Either Nat' TValue)

Instances

Generic EvalEnv

Associated Types

type Rep EvalEnv :: * -> *

Methods

from :: EvalEnv -> Rep EvalEnv x

to :: Rep EvalEnv x -> EvalEnv

Monoid EvalEnv

Methods

mempty :: EvalEnv

mappend :: EvalEnv -> EvalEnv -> EvalEnv

mconcat :: [EvalEnv] -> EvalEnv

NFData EvalEnv

Methods

rnf :: EvalEnv -> ()

PP (WithBase EvalEnv)

Methods

ppPrec :: Int -> WithBase EvalEnv -> Doc

type Rep EvalEnv

type Rep EvalEnv = D1 (MetaData "EvalEnv" "Cryptol.Eval.Env" "cryptol-2.4.0-AtabUoGsZJn8kSvO8P84NP" False) (C1 (MetaCons "EvalEnv" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "envVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Name Value))) (S1 (MetaSel (Just Symbol "envTypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map TVar (Either Nat' TValue))))))

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 -> Either Nat' TValue -> EvalEnv -> EvalEnv

Bind a type variable of kind # or *.

lookupType :: TVar -> EvalEnv -> Maybe (Either Nat' TValue)

Lookup a type variable.