plutus-ledger-api-1.63.0.0: Interface to the Plutus ledger for the Cardano ledger.

Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Executable.OptimizerReport

Documentation

data ReportEntry Source #

Constructors

ReportEntry
Fields rePassName ∷ Maybe String `Nothing` for the first entry, `Just` for all other entries. reAstSize ∷ Integer reCost ∷ Maybe (Either String ExBudget) `Nothing` means evaluation wasn't requested. `Left` means evaluation failed.

type OptimizerReport = [ReportEntry] Source #

buildReport ∷ OptimizerTrace Name uni fun a → [(Maybe err, ExBudget)] → OptimizerReport Source #

printReport ∷ Handle → OptimizerReport → IO () Source #