Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pass to convert pointlessly non-strict bindings into strict bindings, which have less overhead.
Documentation
strictifyBindings ∷ (ToBuiltinMeaning uni fun, HasUnique name TermUnique, HasUnique tyname TypeUnique) ⇒ BuiltinsInfo uni fun → Term tyname name uni fun a → Term tyname name uni fun a Source #
strictifyBindingsPass ∷ ∀ m uni fun a. (Typecheckable uni fun, GEq uni, Applicative m) ⇒ PirTCConfig uni fun → BuiltinsInfo uni fun → Pass m TyName Name uni fun a Source #