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
evalOptimizerTrace ∷ EvaluationContext → OptimizerTrace Name DefaultUni DefaultFun a → [Term NamedDeBruijn DefaultUni DefaultFun ()] → [(Maybe (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun), ExBudget)]
evaluateCekLikeInProd ∷ EvaluationContext → Term NamedDeBruijn DefaultUni DefaultFun () → Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) (Term NamedDeBruijn DefaultUni DefaultFun ())
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.

evalOptimizerTrace Source #

Arguments

∷ EvaluationContext
→ OptimizerTrace 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).

evaluateCekLikeInProd ∷ EvaluationContext → Term NamedDeBruijn DefaultUni DefaultFun () → Either (CekEvaluationException NamedDeBruijn DefaultUni DefaultFun) (Term NamedDeBruijn DefaultUni DefaultFun ()) Source #

Evaluate a term as it would be evaluated using the on-chain evaluator, at the most recent protocol version with restrictingEnormous budget mode (no budget tracking overhead). Suitable for timing.

evalCountingWithArgs Source #

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).