| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.Eval
Synopsis
- evalCounting ∷ EvaluationContext → MajorProtocolVersion → Term NamedDeBruijn DefaultUni DefaultFun () → (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) (Term NamedDeBruijn DefaultUni DefaultFun ()), ExBudget)
- mkDefaultEvalCtx ∷ BuiltinSemanticsVariant DefaultFun → EvaluationContext
- evalSimplifierTrace ∷ EvaluationContext → SimplifierTrace Name DefaultUni DefaultFun a → [Term NamedDeBruijn DefaultUni DefaultFun ()] → [(Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun), ExBudget)]
- evalCountingWithArgs ∷ EvaluationContext → Term Name DefaultUni DefaultFun () → [Term NamedDeBruijn DefaultUni DefaultFun ()] → (Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun), ExBudget)
Documentation
evalCounting ∷ EvaluationContext → MajorProtocolVersion → Term NamedDeBruijn DefaultUni DefaultFun () → (Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) (Term NamedDeBruijn DefaultUni DefaultFun ()), ExBudget) Source #
Evaluate a single term in counting mode.
mkDefaultEvalCtx ∷ BuiltinSemanticsVariant DefaultFun → EvaluationContext Source #
Build a default evaluation context for a given semantics variant.
Arguments
| ∷ EvaluationContext | |
| → SimplifierTrace Name DefaultUni DefaultFun a | |
| → [Term NamedDeBruijn DefaultUni DefaultFun ()] | Arguments to apply to each AST before evaluation |
| → [(Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun), ExBudget)] |
Evaluate all ASTs in the trace, each applied to the given arguments arguments,
in counting mode. Returns (Maybe error, budget).
Arguments
| ∷ EvaluationContext | |
| → Term Name DefaultUni DefaultFun () | Main program |
| → [Term NamedDeBruijn DefaultUni DefaultFun ()] | Arguments |
| → (Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun), ExBudget) |
Evaluate a single program term applied to arguments in counting mode.
Returns (Maybe error, budget).