Documentation

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

type Interpreter t = Except EvalError t Source #

emptyTmenv :: TermEnv hash c m Source #

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)) Source #

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))) Source #

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)) Source #