Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Simplify

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 → Bool

Instances details

Monoid (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods mempty ∷ InlineHints name a Source # mappend ∷ InlineHints name a → InlineHints name a → InlineHints name a Source # mconcat ∷ [InlineHints name a] → InlineHints name a Source #
Semigroup (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods (<>) ∷ InlineHints name a → InlineHints name a → InlineHints name a Source # sconcat ∷ NonEmpty (InlineHints name a) → InlineHints name a Source # stimes ∷ Integral b ⇒ b → InlineHints name a → InlineHints name a Source #
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 #