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

PlutusIR.Transform.DeadCode

Description

Optimization passes for removing dead code, mainly dead let bindings.

Synopsis

Documentation

removeDeadBindings ∷ (HasUnique name TermUnique, ToBuiltinMeaning uni fun, MonadQuote m) ⇒ BuiltinsInfo uni fun → Term TyName name uni fun a → m (Term TyName name uni fun a) Source #

Remove all the dead let bindings in a term.

removeDeadBindingsPass ∷ (Typecheckable uni fun, GEq uni, Ord a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a Source #

removeDeadBindingsPassSC ∷ (Typecheckable uni fun, GEq uni, Ord a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a Source #