plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Compiler.Opts

Documentation

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 #