Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.Compiler

1 type
6 values

Packageplutus-core-1.70.0.0
Exports7
LicenceApache-2.0

valuecompileProgram

:: (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m)
=> Program tyname name uni fun a
-> m (Program name uni fun a)

valuecompileProgramWithTrace

:: (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m)
=> Program tyname name uni fun a
-> m (Program name uni fun a, OptimizerTrace name uni fun a)

valuecompileTerm

:: (Compiling m uni fun name a, MonadReader (CompilationOpts name fun a) m)
=> Term tyname name uni fun a
-> m (Term name uni fun a)

valuecoBuiltinSemanticsVariant

:: Functor f
=> BuiltinSemanticsVariant fun1 -> f (BuiltinSemanticsVariant fun2)
-> CompilationOpts name fun1 a
-> f (CompilationOpts name fun2 a)

valuecoOptimizeOpts

:: Functor f
=> OptimizeOpts name1 a1 -> f (OptimizeOpts name2 a2)
-> CompilationOpts name1 fun a1
-> f (CompilationOpts name2 fun a2)

valuedefaultCompilationOpts :: Default (BuiltinSemanticsVariant fun) => CompilationOpts name fun a

datadata CompilationOpts name fun a

Constructors

CompilationOpts
- _coOptimizeOpts :: OptimizeOpts name a
- _coBuiltinSemanticsVariant :: BuiltinSemanticsVariant fun