| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Compiler
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.