parseSimplifier | DDC.Core.Simplifier.Parser |
pRule | DDC.Core.Transform.Rewrite.Parser |
pRuleMany | DDC.Core.Transform.Rewrite.Parser |
Prune | DDC.Core.Simplifier |
prune | DDC.Core.Simplifier.Recipe |
PruneInfo | |
1 (Type/Class) | DDC.Core.Transform.Prune |
2 (Data Constructor) | DDC.Core.Transform.Prune |
pruneModule | DDC.Core.Transform.Prune |
pruneX | DDC.Core.Transform.Prune |
pushAnonymizeBindT | DDC.Type.Transform.AnonymizeT |
pushAnonymizeBindX | DDC.Core.Transform.AnonymizeX |