| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.LetFloatIn
Description
Float bindings inwards.
Synopsis
- floatTerm ∷ ∀ tyname name uni fun a. (HasUnique name TermUnique, HasUnique tyname TypeUnique, ToBuiltinMeaning uni fun) ⇒ BuiltinsInfo uni fun → Bool → Term tyname name uni fun a → Term tyname name uni fun a
- floatTermPass ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Applicative m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Bool → Pass m TyName Name uni fun a
- floatTermPassSC ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Bool → Pass m TyName Name uni fun a
Documentation
Arguments
| ∷ ∀ tyname name uni fun a. (HasUnique name TermUnique, HasUnique tyname TypeUnique, ToBuiltinMeaning uni fun) | |
| ⇒ BuiltinsInfo uni fun | |
| → Bool | Whether to float-in more aggressively. See Note [Float-in] #6 |
| → Term tyname name uni fun a | |
| → Term tyname name uni fun a |
Float bindings in the given Term inwards.
Arguments
| ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Applicative m) | |
| ⇒ PirTCConfig uni fun | |
| → BuiltinsInfo uni fun | |
| → Bool | Whether to float-in more aggressively. See Note [Float-in] #6 |
| → Pass m TyName Name uni fun a |
floatTermPassSC ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Bool → Pass m TyName Name uni fun a Source #