Cryptol.Eval.Env

Documentation

data GenEvalEnv b w

Constructors

EvalEnv

Fields

• envVars :: !(Map Name (Eval (GenValue b w)))
• envTypes :: !TypeEnv

Instances

Generic (GenEvalEnv b w)

Associated Types

type Rep (GenEvalEnv b w) :: * -> *

Methods

from :: GenEvalEnv b w -> Rep (GenEvalEnv b w) x

to :: Rep (GenEvalEnv b w) x -> GenEvalEnv b w

Monoid (GenEvalEnv b w)

Methods

mempty :: GenEvalEnv b w

mappend :: GenEvalEnv b w -> GenEvalEnv b w -> GenEvalEnv b w

mconcat :: [GenEvalEnv b w] -> GenEvalEnv b w

(NFData b, NFData w) => NFData (GenEvalEnv b w)

Methods

rnf :: GenEvalEnv b w -> ()

type Rep (GenEvalEnv b w)

type Rep (GenEvalEnv b w) = D1 (MetaData "GenEvalEnv" "Cryptol.Eval.Env" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) (C1 (MetaCons "EvalEnv" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "envVars") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Map Name (Eval (GenValue b w))))) (S1 (MetaSel (Just Symbol "envTypes") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TypeEnv))))

ppEnv :: BitWord b w => PPOpts -> GenEvalEnv b w -> Eval Doc

emptyEnv :: GenEvalEnv b w

Evaluation environment with no bindings

bindVar :: Name -> Eval (GenValue b w) -> GenEvalEnv b w -> Eval (GenEvalEnv b w)

Bind a variable in the evaluation environment.

bindVarDirect :: Name -> GenValue b w -> GenEvalEnv b w -> Eval (GenEvalEnv b w)

Bind a variable to a value in the evaluation environment, without creating a thunk.

lookupVar :: Name -> GenEvalEnv b w -> Maybe (Eval (GenValue b w))

Lookup a variable in the environment.

bindType :: TVar -> Either Nat' TValue -> GenEvalEnv b w -> GenEvalEnv b w

Bind a type variable of kind *.

lookupType :: TVar -> GenEvalEnv b w -> Maybe (Either Nat' TValue)

Lookup a type variable.