plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Compiler.Let

Description

Functions for compiling PIR let terms.

Synopsis

Documentation

compileLetsCompiling m e uni fun a ⇒ LetKindPIRTerm 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.

data LetKind Source #

Instances

Instances details
Show LetKind Source # 
Instance details

Defined in PlutusIR.Compiler.Let

Eq LetKind Source # 
Instance details

Defined in PlutusIR.Compiler.Let

Methods

(==)LetKindLetKindBool Source #

(/=)LetKindLetKindBool Source #

Ord LetKind Source # 
Instance details

Defined in PlutusIR.Compiler.Let

compileLetsPassCompiling m e uni fun a ⇒ PirTCConfig uni fun → LetKindPass m TyName Name uni fun (Provenance a) Source #

compileLetsPassSCCompiling m e uni fun a ⇒ PirTCConfig uni fun → LetKindPass m TyName Name uni fun (Provenance a) Source #