Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- module PlutusCore.Compiler.Opts
- 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)
- 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)
Documentation
module PlutusCore.Compiler.Opts
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.