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

PlutusIR.Transform.RecSplit

Synopsis

Documentation

recSplit ∷ ∀ uni fun a name tyname. (HasUnique tyname TypeUnique, HasUnique name TermUnique) ⇒ Term tyname name uni fun a → Term tyname name uni fun a Source #

Apply letrec splitting, recursively in bottom-up fashion.

recSplitPass ∷ (Typecheckable uni fun, GEq uni, Applicative m) ⇒ PirTCConfig uni fun → Pass m TyName Name uni fun a Source #