| Rep | DDC.Core.Transform.Boxing |
| RepBoxed | DDC.Core.Transform.Boxing |
| RepNone | DDC.Core.Transform.Boxing |
| RepUnboxed | DDC.Core.Transform.Boxing |
| result | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
| resultAgain | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
| resultDone | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
| resultInfo | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
| resultProgress | DDC.Core.Simplifier.Result, DDC.Core.Simplifier |
| Rewrite | DDC.Core.Simplifier |
| RewriteEnv | DDC.Core.Transform.Rewrite.Env |
| rewriteModule | DDC.Core.Transform.Rewrite |
| RewriteRule | |
| 1 (Type/Class) | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| 2 (Data Constructor) | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| rewriteSimp | DDC.Core.Simplifier.Recipe |
| rewriteX | DDC.Core.Transform.Rewrite |
| Rhs | DDC.Core.Transform.Rewrite.Rule |
| ruleBinds | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleConstraints | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleFreeVars | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleLeft | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleLeftHole | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleRight | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleWeakClo | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |
| ruleWeakEff | DDC.Core.Transform.Rewrite.Rule, DDC.Core.Transform.Rewrite |