Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Optimize

Synopsis

module UntypedPlutusCore.Optimize.Opts
optimizeTerm ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → m (Term name uni fun a)
optimizeProgram ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a)
optimizeProgramWithTrace ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a, OptimizerTrace name uni fun a)
newtype InlineHints name a = InlineHints {
- shouldInline ∷ a → name → Inline
}
data CseWhichSubterms
- = AllSubterms
- | ExcludeWorkFree
termOptimizer ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → OptimizerT name uni fun a m (Term name uni fun a)
module UntypedPlutusCore.Transform.Optimizer

Documentation

optimizeTerm ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → m (Term name uni fun a) Source #

optimizeProgram ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a) Source #

optimizeProgramWithTrace ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a, OptimizerTrace name uni fun a) Source #

Constructors

InlineHints
Fields shouldInline ∷ a → name → Inline

Instances details

Show (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods showsPrec ∷ Int → InlineHints name a → ShowS Source # show ∷ InlineHints name a → String Source # showList ∷ [InlineHints name a] → ShowS Source #
Default (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods def ∷ InlineHints name a #

Which subterms should be considered as candidates for CSE?

Constructors

AllSubterms
ExcludeWorkFree

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 #

termOptimizer ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ OptimizeOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → OptimizerT name uni fun a m (Term name uni fun a) Source #