| 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).