Ideas.Common.Rewriting.RewriteRule

Supporting type class

class Different a

Rewrite rules and specs

data RewriteRule a

ruleSpecTerm

data RuleSpec a

Compiling rewrite rules

makeRewriteRule

termRewriteRule

class RuleBuilder t a

Using rewrite rules

showRewriteRule

metaInRewriteRule

renumberRewriteRule

symbolMatcher

symbolBuilder