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

UntypedPlutusCore.Simplify.Opts

Documentation

data SimplifyOpts name a Source #

Constructors

SimplifyOpts 

Fields

Instances

Instances details
Show (SimplifyOpts name a) Source # 
Instance details

Defined in UntypedPlutusCore.Simplify.Opts

Methods

showsPrec ∷ Int → SimplifyOpts name a → ShowS Source #

show ∷ SimplifyOpts name a → String Source #

showList ∷ [SimplifyOpts name a] → ShowS Source #

soMaxSimplifierIterations ∷ ∀ name a. Lens' (SimplifyOpts name a) Int Source #

soMaxCseIterations ∷ ∀ name a. Lens' (SimplifyOpts name a) Int Source #

soInlineHints ∷ ∀ name a name a. Lens (SimplifyOpts name a) (SimplifyOpts name a) (InlineHints name a) (InlineHints name a) Source #

soConservativeOpts ∷ ∀ name a. Lens' (SimplifyOpts name a) Bool Source #

soInlineConstants ∷ ∀ name a. Lens' (SimplifyOpts name a) Bool Source #

defaultSimplifyOpts ∷ SimplifyOpts name a Source #