| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.Evaluate
Synopsis
- uplcVersion :: Version
- evalScript :: Script -> (Either EvalError Script, ExBudget, [Text])
- evalScriptHuge :: Script -> (Either EvalError Script, ExBudget, [Text])
- evalScriptUnlimited :: Script -> (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) Script, ExBudget, [Text])
- evalScript' :: ExBudget -> Script -> (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) Script, ExBudget, [Text])
- type EvalError = CekEvaluationException NamedDeBruijn DefaultUni DefaultFun
Documentation
uplcVersion :: Version Source #
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.
evalScriptUnlimited :: Script -> (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) Script, ExBudget, [Text]) Source #
Evaluate a script without budget limit
@since WIP