NamedRewriteRule | DDC.Core.Transform.Rewrite.Rule |
NamedRewriteRules | DDC.Core.Simplifier |
Namifier | |
1 (Type/Class) | DDC.Core.Transform.Namify |
2 (Data Constructor) | DDC.Core.Transform.Namify |
namifierEnv | DDC.Core.Transform.Namify |
namifierNew | DDC.Core.Transform.Namify |
namifierStack | DDC.Core.Transform.Namify |
Namify | |
1 (Type/Class) | DDC.Core.Transform.Namify |
2 (Data Constructor) | DDC.Core.Simplifier |
namify | DDC.Core.Transform.Namify |
namifyUnique | DDC.Core.Transform.Namify |
NoInformation | DDC.Core.Simplifier.Result |