| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.RewriteRules
Synopsis
- rewriteWith :: (MonadQuote m) => RewriteRules uni fun -> t -> m t #
Rewrite a
Termusing the givenRewriteRules(similar to functions of Term -> Term) Normally the rewrite rules are configured at entrypoint time of the compiler.It goes without saying that the supplied rewrite rules must be type-preserving. MAYBE: enforce this with a `through typeCheckTerm`?
rewritePass :: forall m uni fun a. (DefaultFun #
The rules for the Default Universe/Builtin.