| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusTx.Eval
Synopsis
- data EvalResult = EvalResult {
- evalResult :: Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) (NTerm DefaultUni DefaultFun ())
- evalResultBudget :: ExBudget
- evalResultTraces :: [Text]
- displayEvalResult :: EvalResult -> Text
- displayExBudget :: ExBudget -> Text
- prettyExBudget :: ExBudget -> Doc ann
- evaluateCompiledCode :: CompiledCode a -> EvalResult
- evaluateCompiledCode' :: DefaultMachineParameters -> CompiledCode a -> EvalResult
- evaluatesToError :: CompiledCode a -> Bool
- evaluatesWithoutError :: CompiledCode a -> Bool
Documentation
data EvalResult Source #
Constructors
| EvalResult | |
Fields
| |
Instances
| Show EvalResult Source # | |
Defined in PlutusTx.Eval | |
| Pretty EvalResult Source # | |
Defined in PlutusTx.Eval | |
displayEvalResult :: EvalResult -> Text Source #
displayExBudget :: ExBudget -> Text Source #
prettyExBudget :: ExBudget -> Doc ann Source #
evaluateCompiledCode :: CompiledCode a -> EvalResult Source #
Evaluates the given CompiledCode using the CEK machine
with the default machine parameters.
evaluateCompiledCode' :: DefaultMachineParameters -> CompiledCode a -> EvalResult Source #
Evaluates the given CompiledCode using the CEK machine
with the given machine parameters.
evaluatesToError :: CompiledCode a -> Bool Source #
evaluatesWithoutError :: CompiledCode a -> Bool Source #