plutus-core-1.53.0.0: Language library for Plutus Core

Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Compiler.Opts

Documentation

data CompilationOpts name fun a Source #

Constructors

CompilationOpts
Fields _coSimplifyOpts ∷ SimplifyOpts name a _coBuiltinSemanticsVariant ∷ BuiltinSemanticsVariant fun

coSimplifyOpts ∷ ∀ name fun a name a. Lens (CompilationOpts name fun a) (CompilationOpts name fun a) (SimplifyOpts name a) (SimplifyOpts name a) Source #

coBuiltinSemanticsVariant ∷ ∀ name fun a fun. Lens (CompilationOpts name fun a) (CompilationOpts name fun a) (BuiltinSemanticsVariant fun) (BuiltinSemanticsVariant fun) Source #

defaultCompilationOpts ∷ Default (BuiltinSemanticsVariant fun) ⇒ CompilationOpts name fun a Source #