Cryptol.Eval

Documentation

moduleEnv :: Module -> EvalEnv -> EvalEnv

data EvalEnv

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

evalExpr :: EvalEnv -> Expr -> Value

evalDecls :: [DeclGroup] -> EvalEnv -> EvalEnv

data EvalError

Constructors

InvalidIndex Integer

TypeCannotBeDemoted Type

DivideByZero

WordTooWide Integer

UserError String

Instances

Show EvalError

Methods

showsPrec :: Int -> EvalError -> ShowS

show :: EvalError -> String

showList :: [EvalError] -> ShowS

Exception EvalError

Methods

toException :: EvalError -> SomeException

fromException :: SomeException -> Maybe EvalError

displayException :: EvalError -> String

PP EvalError

Methods

ppPrec :: Int -> EvalError -> Doc

data WithBase a

Constructors

WithBase PPOpts a

Instances

Functor WithBase

Methods

fmap :: (a -> b) -> WithBase a -> WithBase b

(<$) :: a -> WithBase b -> WithBase a

PP (WithBase Value)

Methods

ppPrec :: Int -> WithBase Value -> Doc

PP (WithBase EvalEnv)

Methods

ppPrec :: Int -> WithBase EvalEnv -> Doc