| 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 #