Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for compiling PIR let terms.
Synopsis
- compileLets ∷ Compiling m e uni fun a ⇒ LetKind → PIRTerm uni fun a → m (PIRTerm uni fun a)
- data LetKind
- compileLetsPass ∷ Compiling m e uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a)
- compileLetsPassSC ∷ Compiling m e uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a)
Documentation
compileLets ∷ Compiling m e uni fun a ⇒ LetKind → PIRTerm uni fun a → m (PIRTerm uni fun a) Source #
Compile the let terms out of a Term
. Note: the result does *not* have globally unique names.
compileLetsPass ∷ Compiling m e uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a) Source #
compileLetsPassSC ∷ Compiling m e uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a) Source #