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

PlutusCore.Compiler

Synopsis

Documentation

compileTerm ∷ (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m) ⇒ Term tyname name uni fun a → m (Term name uni fun a) Source #

Compile a PLC term to UPLC, and optimize it.

compileProgram ∷ (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m) ⇒ Program tyname name uni fun a → m (Program name uni fun a) Source #

Compile a PLC program to UPLC, and optimize it.