Cryptol.Eval.Env

Documentation

data GenEvalEnv sym

Constructors

EvalEnv

Fields

• envVars :: !(IntMap (SEval sym (GenValue sym)))
• envTypes :: !TypeEnv

Instances

Generic (GenEvalEnv sym)

Defined in Cryptol.Eval.Env

Associated Types

type Rep (GenEvalEnv sym) :: Type -> Type

Methods

from :: GenEvalEnv sym -> Rep (GenEvalEnv sym) x

to :: Rep (GenEvalEnv sym) x -> GenEvalEnv sym

Semigroup (GenEvalEnv sym)

Defined in Cryptol.Eval.Env

Methods

(<>) :: GenEvalEnv sym -> GenEvalEnv sym -> GenEvalEnv sym

sconcat :: NonEmpty (GenEvalEnv sym) -> GenEvalEnv sym

stimes :: Integral b => b -> GenEvalEnv sym -> GenEvalEnv sym

Monoid (GenEvalEnv sym)

Defined in Cryptol.Eval.Env

Methods

mempty :: GenEvalEnv sym

mappend :: GenEvalEnv sym -> GenEvalEnv sym -> GenEvalEnv sym

mconcat :: [GenEvalEnv sym] -> GenEvalEnv sym

type Rep (GenEvalEnv sym)

Defined in Cryptol.Eval.Env

type Rep (GenEvalEnv sym) = D1 ('MetaData "GenEvalEnv" "Cryptol.Eval.Env" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" 'False) (C1 ('MetaCons "EvalEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "envVars") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (IntMap (SEval sym (GenValue sym)))) :*: S1 ('MetaSel ('Just "envTypes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TypeEnv)))

ppEnv :: Backend sym => sym -> PPOpts -> GenEvalEnv sym -> SEval sym Doc

emptyEnv :: GenEvalEnv sym

Evaluation environment with no bindings

bindVar :: Backend sym => sym -> Name -> SEval sym (GenValue sym) -> GenEvalEnv sym -> SEval sym (GenEvalEnv sym)

Bind a variable in the evaluation environment.

bindVarDirect :: Backend sym => Name -> GenValue sym -> GenEvalEnv sym -> GenEvalEnv sym

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

lookupVar :: Name -> GenEvalEnv sym -> Maybe (SEval sym (GenValue sym))

Lookup a variable in the environment.

bindType :: TVar -> Either Nat' TValue -> GenEvalEnv sym -> GenEvalEnv sym

Bind a type variable of kind *.

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

Lookup a type variable.