| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Compiler.Let
Description
Functions for compiling PIR let terms.
Synopsis
- compileLets ∷ Compiling m uni fun a ⇒ LetKind → PIRTerm uni fun a → m (PIRTerm uni fun a)
- data LetKind
- compileLetsPass ∷ Compiling m uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a)
- compileLetsPassSC ∷ Compiling m uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a)
Documentation
compileLets ∷ Compiling m 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.
Constructors
| RecTerms | |
| NonRecTerms | |
| Types | |
| DataTypes |
compileLetsPass ∷ Compiling m uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a) Source #
compileLetsPassSC ∷ Compiling m uni fun a ⇒ PirTCConfig uni fun → LetKind → Pass m TyName Name uni fun (Provenance a) Source #