plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Transform.LetFloatIn

Description

Float bindings inwards.

Synopsis

Documentation

floatTerm Source #

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.

floatTermPass Source #

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 → BoolPass m TyName Name uni fun a Source #