Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- floatTerm ∷ (ToBuiltinMeaning uni fun, HasUnique tyname TypeUnique, HasUnique name TermUnique, Semigroup a) ⇒ BuiltinsInfo uni fun → Term tyname name uni fun a → Term tyname name uni fun a
- floatTermPass ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Semigroup a, Applicative m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a
- floatTermPassSC ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Semigroup a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a
Documentation
floatTerm ∷ (ToBuiltinMeaning uni fun, HasUnique tyname TypeUnique, HasUnique name TermUnique, Semigroup a) ⇒ BuiltinsInfo uni fun → Term tyname name uni fun a → Term tyname name uni fun a Source #
The compiler pass of the algorithm (comprised of 3 connected passes).
floatTermPass ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Semigroup a, Applicative m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a Source #
floatTermPassSC ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Ord a, Semigroup a, MonadQuote m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a Source #