Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Transform.RewriteRules.Internal

Synopsis

Documentation

newtype RewriteRules uni fun where Source #

A bundle of composed RewriteRules, to be passed at entrypoint of the compiler.

Constructors

RewriteRules
Fields ∷ { unRewriteRules ∷ ∀ tyname m a. (MonadQuote m, Monoid a) ⇒ VarsInfo tyname Name uni a → Term tyname Name uni fun a → m (Term tyname Name uni fun a) } → RewriteRules uni fun

Instances details

Monoid (RewriteRules uni fun) Source #
Instance details Defined in PlutusIR.Transform.RewriteRules.Internal Methods mempty ∷ RewriteRules uni fun Source # mappend ∷ RewriteRules uni fun → RewriteRules uni fun → RewriteRules uni fun Source # mconcat ∷ [RewriteRules uni fun] → RewriteRules uni fun Source #
Semigroup (RewriteRules uni fun) Source #
Instance details Defined in PlutusIR.Transform.RewriteRules.Internal Methods (<>) ∷ RewriteRules uni fun → RewriteRules uni fun → RewriteRules uni fun Source # sconcat ∷ NonEmpty (RewriteRules uni fun) → RewriteRules uni fun Source # stimes ∷ Integral b ⇒ b → RewriteRules uni fun → RewriteRules uni fun Source #
Default (RewriteRules DefaultUni DefaultFun) Source #
Instance details Defined in PlutusIR.Transform.RewriteRules.Internal Methods def ∷ RewriteRules DefaultUni DefaultFun #

The rules for the Default Universe/Builtin.