Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Simplify

Synopsis

module UntypedPlutusCore.Simplify.Opts
simplifyTerm ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → m (Term name uni fun a)
simplifyProgram ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a)
simplifyProgramWithTrace ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a, SimplifierTrace name uni fun a)
newtype InlineHints name a = InlineHints {
- shouldInline ∷ a → name → Inline
}
data CseWhichSubterms
- = AllSubterms
- | ExcludeWorkFree
termSimplifier ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a)
module UntypedPlutusCore.Transform.Simplifier

Documentation

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

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

simplifyProgramWithTrace ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a, SimplifierTrace 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?

Constructors

AllSubterms
ExcludeWorkFree

Instances details

Read CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Transform.Cse 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.Transform.Cse Methods showsPrec ∷ Int → CseWhichSubterms → ShowS Source # show ∷ CseWhichSubterms → String Source # showList ∷ [CseWhichSubterms] → ShowS Source #
Pretty CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Transform.Cse Methods pretty ∷ CseWhichSubterms → Doc ann Source # prettyList ∷ [CseWhichSubterms] → Doc ann Source #

termSimplifier ∷ ∀ name uni fun m a. Compiling m uni fun name a ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Term name uni fun a → SimplifierT name uni fun a m (Term name uni fun a) Source #