Inferno.Eval

Documentation

type TermEnv hash c m = (Map ExtIdent (Value c m), Map hash (Value c m))

type Interpreter t = Except EvalError t

emptyTmenv :: TermEnv hash c m

eval :: (MonadError EvalError m, MonadError EvalError (ImplEnvM m c), Pretty c) => TermEnv VCObjectHash c (ImplEnvM m c) -> Expr (Maybe VCObjectHash) a -> ImplEnvM m c (Value c (ImplEnvM m c))

runEvalIO :: (MonadCatch m, Pretty c) => ImplEnvM (ExceptT EvalError m) c (TermEnv VCObjectHash c (ImplEnvM (ExceptT EvalError m) c)) -> Map ExtIdent (Value c (ImplEnvM (ExceptT EvalError m) c)) -> Expr (Maybe VCObjectHash) a -> m (Either EvalError (Value c (ImplEnvM (ExceptT EvalError m) c)))

pureEval :: Pretty c => TermEnv VCObjectHash c (ImplEnvM (ExceptT EvalError Identity) c) -> Map ExtIdent (Value c (ImplEnvM (ExceptT EvalError Identity) c)) -> Expr (Maybe VCObjectHash) a -> Either EvalError (Value c (ImplEnvM (ExceptT EvalError Identity) c))