plutus-tx-1.70.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Eval

Synopsis

Documentation

data EvalResult Source #

Constructors

EvalResult 

Fields

Instances

Instances details
Show EvalResult Source # 
Instance details

Defined in PlutusTx.Eval

Methods

showsPrec ∷ Int → EvalResult → ShowS Source #

show ∷ EvalResult → String Source #

showList ∷ [EvalResult] → ShowS Source #

Pretty EvalResult Source # 
Instance details

Defined in PlutusTx.Eval

Methods

pretty ∷ EvalResult → Doc ann Source #

prettyList ∷ [EvalResult] → Doc ann Source #

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 #