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

PlutusIR.Transform.LetFloat

Synopsis

Documentation

floatTerm :: (ToBuiltinMeaning uni fun, HasUnique tyname TypeUnique, HasUnique name TermUnique, Ord tyname, Ord name, Semigroup a) => Term tyname name uni fun a -> Term tyname name uni fun a Source #

The compiler pass of the algorithm (comprised of 3 connected passes).