plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

Instances

Instances details
Monoid (RewriteRules uni fun) Source # 
Instance details

Defined in PlutusIR.Transform.RewriteRules.Internal

Methods

memptyRewriteRules uni fun Source #

mappendRewriteRules 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 #

sconcatNonEmpty (RewriteRules uni fun) → RewriteRules uni fun Source #

stimesIntegral b ⇒ b → RewriteRules uni fun → RewriteRules uni fun Source #

Default (RewriteRules DefaultUni DefaultFun) Source # 
Instance details

Defined in PlutusIR.Transform.RewriteRules.Internal

defaultUniRewriteRulesRewriteRules DefaultUni DefaultFun Source #

The rules for the Default Universe/Builtin.