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

Transform.Simplify.Lib

Documentation

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

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

testSimplify ∷ Term Name DefaultUni DefaultFun () → Quote (Term Name DefaultUni DefaultFun (), SimplifierTrace Name DefaultUni DefaultFun ()) Source #

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

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