plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Transform.RecSplit

Synopsis

Documentation

recSplit :: forall uni fun a name tyname. (Ord name, Ord 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.