| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusConformance.CekEvaluator
Description
A UplcEvaluator shared between the regular and steppable CEK machines.
Synopsis
- mkCekEvaluator ∷ (MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ()) → ExBudgetMode CountingSt DefaultUni DefaultFun → Term Name DefaultUni DefaultFun () → (Either (CekEvaluationException Name DefaultUni DefaultFun) (Term Name DefaultUni DefaultFun ()), CountingSt)) → UplcEvaluator
Documentation
mkCekEvaluator ∷ (MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ()) → ExBudgetMode CountingSt DefaultUni DefaultFun → Term Name DefaultUni DefaultFun () → (Either (CekEvaluationException Name DefaultUni DefaultFun) (Term Name DefaultUni DefaultFun ()), CountingSt)) → UplcEvaluator Source #
Build a UplcEvaluator around a CEK-machine "run" function shaped like
runCekNoEmit. Both the regular CEK
machine and the steppable one
(runCekNoEmit) have exactly
this type (the latter's haddock says it "provides the same interface to the
original CEK machine") so this is shared between the `haskell-conformance` and
`haskell-steppable-conformance` test suites rather than being duplicated.