Seq | DDC.Core.Simplifier |
Side | DDC.Core.Transform.Rewrite.Rule |
Simplifier | DDC.Core.Simplifier |
SimplifierDetails | |
1 (Type/Class) | DDC.Core.Simplifier.Parser |
2 (Data Constructor) | DDC.Core.Simplifier.Parser |
simplifierMkNamifierT | DDC.Core.Simplifier.Parser |
simplifierMkNamifierX | DDC.Core.Simplifier.Parser |
simplifierRules | DDC.Core.Simplifier.Parser |
simplifierTemplates | DDC.Core.Simplifier.Parser |
Snip | |
1 (Type/Class) | DDC.Core.Transform.Snip |
2 (Data Constructor) | DDC.Core.Simplifier |
snip | |
1 (Function) | DDC.Core.Transform.Snip |
2 (Function) | DDC.Core.Simplifier.Recipe |
snipOver | DDC.Core.Simplifier.Recipe |
SubstInfo | DDC.Core.Transform.Rewrite.Match |