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 #
newtype InlineHints name a Source #
Constructors
InlineHints | |
Fields
|
Instances
Show (InlineHints name a) Source # | |
Defined in PlutusCore.Annotation | |
Default (InlineHints name a) Source # | |
Defined in PlutusCore.Annotation Methods def ∷ InlineHints name a Source # |