Index - P
| 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 |