| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Evaluate
Synopsis
- evalScript :: Script -> (Either EvalError Script, ExBudget, [Text])
- evalScriptHuge :: Script -> (Either EvalError Script, ExBudget, [Text])
- evalScript' :: ExBudget -> Script -> (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) Script, ExBudget, [Text])
- type EvalError = CekEvaluationException NamedDeBruijn DefaultUni DefaultFun
- evalTerm :: Config -> ClosedTerm a -> Either Text (Either EvalError (ClosedTerm a), ExBudget, [Text])
Documentation
evalScript :: Script -> (Either EvalError Script, ExBudget, [Text]) Source #
Evaluate a script with a big budget, returning the trace log and term result.
evalScriptHuge :: Script -> (Either EvalError Script, ExBudget, [Text]) Source #
Evaluate a script with a huge budget, returning the trace log and term result.
evalScript' :: ExBudget -> Script -> (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) Script, ExBudget, [Text]) Source #
Evaluate a script with a specific budget, returning the trace log and term result.