| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Simplify
Documentation
simplifyTerm ∷ ∀ name uni fun m a. (Compiling m uni fun name a, MonadState (UPLCSimplifierTrace name uni fun a) m) ⇒ 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, MonadState (UPLCSimplifierTrace name uni fun a) m) ⇒ SimplifyOpts name a → BuiltinSemanticsVariant fun → Program name uni fun a → m (Program name uni fun a) Source #
newtype InlineHints name a Source #
Constructors
| InlineHints | |
Fields
| |
Instances
| Monoid (InlineHints name a) Source # | |
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 # | |
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 # | |
Defined in PlutusCore.Annotation | |