| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.LetFloat
Synopsis
- 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
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).