plutus-core-1.63.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Transform.Simplify.Lib

Documentation

goldenVsPretty ∷ PrettyPlc a ⇒ String → String → a → TestTree Source #

goldenVsOptimized ∷ String → Term Name DefaultUni DefaultFun () → TestTree Source #

renderCertifierHints ∷ OptimizerTrace Name DefaultUni DefaultFun () → Text Source #

testOptimize ∷ Term Name DefaultUni DefaultFun () → Quote (Term Name DefaultUni DefaultFun (), OptimizerTrace Name DefaultUni DefaultFun ()) Source #

goldenVsCse ∷ CseWhichSubterms → String → Term Name DefaultUni DefaultFun () → TestTree Source #

testCse ∷ CseWhichSubterms → Term Name DefaultUni DefaultFun () → Quote (Term Name DefaultUni DefaultFun (), OptimizerTrace Name DefaultUni DefaultFun ()) Source #