plutus-core-1.36.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, MonadState (UPLCSimplifierTrace name uni 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, MonadState (UPLCSimplifierTrace name uni 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.

runCompileCompilationOpts name fun a → Compile m name uni fun a b → m (b, UPLCSimplifierTrace name uni fun a) Source #

evalCompileFunctor m ⇒ CompilationOpts name fun a → Compile m name uni fun a b → m b Source #