| 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)
- compileProgramWithTrace :: (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m) => Program tyname name uni fun a -> m (Program name uni fun a, SimplifierTrace 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) #
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) #
Compile a PLC program to UPLC, and optimize it.
compileProgramWithTrace :: (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m) => Program tyname name uni fun a -> m (Program name uni fun a, SimplifierTrace name uni fun a) #
Compile a PLC program to UPLC, and optimize it. This includes the compilation trace in the result.