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

PlutusIR.Compiler.Lower

Synopsis

Documentation

lowerTermCompiling m e uni fun a ⇒ PIRTerm uni fun a → m (PLCTerm uni fun a) Source #

Turns a PIR Term with no remaining PIR-specific features into a PLC Term by simply translating the constructors across.