plutus-core-1.62.0.0: Language library for Plutus Core

Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Optimize.Opts

Synopsis

data OptimizeOpts name a = OptimizeOpts {
- _ooMaxSimplifierIterations ∷ Int
- _ooMaxCseIterations ∷ Int
- _ooCseWhichSubterms ∷ CseWhichSubterms
- _ooConservativeOpts ∷ Bool
- _ooInlineHints ∷ InlineHints name a
- _ooInlineConstants ∷ Bool
- _ooInlineUnconditionalGrowth ∷ AstSize
- _ooInlineCallsiteGrowth ∷ AstSize
- _ooPreserveLogging ∷ Bool
- _ooApplyToCase ∷ Bool
- _ooCertifiedOptsOnly ∷ Bool
}
ooApplyToCase ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool
ooMaxSimplifierIterations ∷ ∀ name a. Lens' (OptimizeOpts name a) Int
ooMaxCseIterations ∷ ∀ name a. Lens' (OptimizeOpts name a) Int
ooCseWhichSubterms ∷ ∀ name a. Lens' (OptimizeOpts name a) CseWhichSubterms
ooInlineHints ∷ ∀ name a name a. Lens (OptimizeOpts name a) (OptimizeOpts name a) (InlineHints name a) (InlineHints name a)
ooConservativeOpts ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool
ooInlineConstants ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool
ooInlineUnconditionalGrowth ∷ ∀ name a. Lens' (OptimizeOpts name a) AstSize
ooInlineCallsiteGrowth ∷ ∀ name a. Lens' (OptimizeOpts name a) AstSize
ooPreserveLogging ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool
ooCertifiedOptsOnly ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool
defaultOptimizeOpts ∷ OptimizeOpts name a
data CseWhichSubterms
- = AllSubterms
- | ExcludeWorkFree

Documentation

data OptimizeOpts name a Source #

Constructors

OptimizeOpts
Fields _ooMaxSimplifierIterations ∷ Int _ooMaxCseIterations ∷ Int _ooCseWhichSubterms ∷ CseWhichSubterms _ooConservativeOpts ∷ Bool _ooInlineHints ∷ InlineHints name a _ooInlineConstants ∷ Bool _ooInlineUnconditionalGrowth ∷ AstSize _ooInlineCallsiteGrowth ∷ AstSize _ooPreserveLogging ∷ Bool _ooApplyToCase ∷ Bool _ooCertifiedOptsOnly ∷ Bool

Instances

Instances details

Show (OptimizeOpts name a) Source #
Instance details Defined in UntypedPlutusCore.Optimize.Opts Methods showsPrec ∷ Int → OptimizeOpts name a → ShowS Source # show ∷ OptimizeOpts name a → String Source # showList ∷ [OptimizeOpts name a] → ShowS Source #

ooApplyToCase ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool Source #

ooMaxSimplifierIterations ∷ ∀ name a. Lens' (OptimizeOpts name a) Int Source #

ooMaxCseIterations ∷ ∀ name a. Lens' (OptimizeOpts name a) Int Source #

ooCseWhichSubterms ∷ ∀ name a. Lens' (OptimizeOpts name a) CseWhichSubterms Source #

ooInlineHints ∷ ∀ name a name a. Lens (OptimizeOpts name a) (OptimizeOpts name a) (InlineHints name a) (InlineHints name a) Source #

ooConservativeOpts ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool Source #

ooInlineConstants ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool Source #

ooInlineUnconditionalGrowth ∷ ∀ name a. Lens' (OptimizeOpts name a) AstSize Source #

ooInlineCallsiteGrowth ∷ ∀ name a. Lens' (OptimizeOpts name a) AstSize Source #

ooPreserveLogging ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool Source #

ooCertifiedOptsOnly ∷ ∀ name a. Lens' (OptimizeOpts name a) Bool Source #

defaultOptimizeOpts ∷ OptimizeOpts name a Source #

data CseWhichSubterms Source #

Which subterms should be considered as candidates for CSE?

Constructors

AllSubterms
ExcludeWorkFree

Instances

Instances details

Read CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Optimize.Opts Methods readsPrec ∷ Int → ReadS CseWhichSubterms Source # readList ∷ ReadS [CseWhichSubterms] Source # readPrec ∷ ReadPrec CseWhichSubterms Source # readListPrec ∷ ReadPrec [CseWhichSubterms] Source #
Show CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Optimize.Opts Methods showsPrec ∷ Int → CseWhichSubterms → ShowS Source # show ∷ CseWhichSubterms → String Source # showList ∷ [CseWhichSubterms] → ShowS Source #
Pretty CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Optimize.Opts Methods pretty ∷ CseWhichSubterms → Doc ann Source # prettyList ∷ [CseWhichSubterms] → Doc ann Source #