Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Compile non-strict bindings into strict bindings.
Synopsis
- compileNonStrictBindings ∷ MonadQuote m ⇒ Bool → Term TyName Name uni fun a → m (Term TyName Name uni fun a)
- compileNonStrictBindingsPass ∷ (Typecheckable uni fun, GEq uni, MonadQuote m) ⇒ PirTCConfig uni fun → Bool → Pass m TyName Name uni fun a
- compileNonStrictBindingsPassSC ∷ (Typecheckable uni fun, GEq uni, MonadQuote m, Ord a) ⇒ PirTCConfig uni fun → Bool → Pass m TyName Name uni fun a
Documentation
compileNonStrictBindings ∷ MonadQuote m ⇒ Bool → Term TyName Name uni fun a → m (Term TyName Name uni fun a) Source #
Compile all the non-strict bindings in a term into strict bindings. Note: requires globally unique names.
compileNonStrictBindingsPass ∷ (Typecheckable uni fun, GEq uni, MonadQuote m) ⇒ PirTCConfig uni fun → Bool → Pass m TyName Name uni fun a Source #
compileNonStrictBindingsPassSC ∷ (Typecheckable uni fun, GEq uni, MonadQuote m, Ord a) ⇒ PirTCConfig uni fun → Bool → Pass m TyName Name uni fun a Source #