Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype RewriteRules uni fun where
- RewriteRules ∷ {..} → RewriteRules uni fun
- defaultUniRewriteRules ∷ RewriteRules DefaultUni DefaultFun
Documentation
newtype RewriteRules uni fun where Source #
A bundle of composed RewriteRules
, to be passed at entrypoint of the compiler.
RewriteRules | |
|
Instances
Monoid (RewriteRules uni fun) Source # | |
Defined in PlutusIR.Transform.RewriteRules.Internal 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 # | |
Defined in PlutusIR.Transform.RewriteRules.Internal (<>) ∷ 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 # | |
defaultUniRewriteRules ∷ RewriteRules DefaultUni DefaultFun Source #
The rules for the Default Universe/Builtin.