Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Compiler.Let

Description

Functions for compiling PIR let terms.

Synopsis

Documentation

compileLets :: Compiling m uni fun a => LetKind -> PIRTerm uni fun a -> m (PIRTerm uni fun a) #

Compile the let terms out of a Term. Note: the result does *not* have globally unique names.

Constructors

Instances details

Show LetKind #
Instance details Defined in PlutusIR.Compiler.Let Methods showsPrec :: Int -> LetKind -> ShowS # show :: LetKind -> String # showList :: [LetKind] -> ShowS #
Eq LetKind #
Instance details Defined in PlutusIR.Compiler.Let Methods (==) :: LetKind -> LetKind -> Bool # (/=) :: LetKind -> LetKind -> Bool #
Ord LetKind #
Instance details Defined in PlutusIR.Compiler.Let Methods compare :: LetKind -> LetKind -> Ordering # (<) :: LetKind -> LetKind -> Bool # (<=) :: LetKind -> LetKind -> Bool # (>) :: LetKind -> LetKind -> Bool # (>=) :: LetKind -> LetKind -> Bool # max :: LetKind -> LetKind -> LetKind # min :: LetKind -> LetKind -> LetKind #