| 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, MonadState (UPLCSimplifierTrace name uni 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, MonadState (UPLCSimplifierTrace name uni fun a) m) ⇒ Program tyname name uni fun a → m (Program name uni fun a)
- runCompile ∷ CompilationOpts name fun a → Compile m name uni fun a b → m (b, UPLCSimplifierTrace name uni fun a)
- evalCompile ∷ Functor m ⇒ CompilationOpts name fun a → Compile m name uni fun a b → m b
Documentation
module PlutusCore.Compiler.Opts
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.
runCompile ∷ CompilationOpts name fun a → Compile m name uni fun a b → m (b, UPLCSimplifierTrace name uni fun a) Source #
evalCompile ∷ Functor m ⇒ CompilationOpts name fun a → Compile m name uni fun a b → m b Source #