Index - P
| Parentheses | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| path | Data.PDRS.ProjectionGraph, Data.PDRS |
| PCon | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| PDRS | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsAlphaConvert | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsAMerge | Data.PDRS.Merge, Data.PDRS |
| PDRSAtom | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsBetaReduce | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsBoundPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsBoundPVar | Data.PDRS.Binding, Data.PDRS |
| pdrsCombine | Data.PDRS.Merge, Data.PDRS |
| PDRSCon | Data.PDRS.DataType, Data.PDRS |
| pdrsConditions | Data.PDRS.Variables, Data.PDRS |
| pdrsDisjoin | Data.PDRS.Merge, Data.PDRS |
| pdrsFreePRefs | Data.PDRS.Binding, Data.PDRS |
| pdrsFreePVars | Data.PDRS.Binding, Data.PDRS |
| pdrsFunctionCompose | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsIsAccessibleContext | Data.PDRS.ProjectionGraph, Data.PDRS |
| pdrsIsFreePVar | Data.PDRS.Binding, Data.PDRS |
| pdrsLabel | Data.PDRS.Variables, Data.PDRS |
| pdrsLabels | Data.PDRS.Variables, Data.PDRS |
| pdrsLambdas | Data.PDRS.Variables, Data.PDRS |
| pdrsLambdaVars | Data.PDRS.Variables, Data.PDRS |
| pdrsMAP | Data.PDRS.Variables, Data.PDRS |
| pdrsMAPs | Data.PDRS.Variables, Data.PDRS |
| PDRSNotation | Data.PDRS.Show, Data.PDRS |
| pdrsPBoundPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsPMerge | Data.PDRS.Merge, Data.PDRS |
| pdrsPRefBoundByPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsPurify | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsPVars | Data.PDRS.Variables, Data.PDRS |
| PDRSRef | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsRefToDRSRef | Data.PDRS.Variables, Data.PDRS |
| pdrsRefToDRSVar | Data.PDRS.Variables, Data.PDRS |
| PDRSRel | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsRelToDRSRel | Data.PDRS.Variables, Data.PDRS |
| pdrsRelToString | Data.PDRS.Variables, Data.PDRS |
| pdrsResolve | Data.PDRS.Show, Data.PDRS |
| pdrsResolveMerges | Data.PDRS.Merge, Data.PDRS |
| pdrsToDRS | Data.PDRS.Translate, Data.PDRS |
| pdrsToFOL | Data.PDRS.Translate, Data.PDRS |
| pdrsToPTable | Data.PDRS.ProjectionTable, Data.PDRS |
| pdrsUniverse | Data.PDRS.Variables, Data.PDRS |
| pdrsUniverses | Data.PDRS.Variables, Data.PDRS |
| pdrsVariables | Data.PDRS.Variables, Data.PDRS |
| PGraph | Data.PDRS.ProjectionGraph, Data.PDRS |
| PMerge | Data.PDRS.DataType, Data.PDRS |
| PRef | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| printAMerge | Data.PDRS.Show, Data.PDRS |
| printDRS | Data.DRS.Show, Data.DRS |
| printDRSBetaReduct | Data.DRS.Show, Data.DRS |
| printDRSRefBetaReduct | Data.DRS.Show, Data.DRS |
| printFOLForm | Data.FOL.Show, Data.FOL, Data.DRS |
| printMerge | Data.DRS.Show, Data.DRS |
| printPDRS | Data.PDRS.Show, Data.PDRS |
| printPDRSBetaReduct | Data.PDRS.Show, Data.PDRS |
| printPDRSRefBetaReduct | Data.PDRS.Show, Data.PDRS |
| printPMerge | Data.PDRS.Show, Data.PDRS |
| printPTable | Data.PDRS.ProjectionTable, Data.PDRS |
| projectionGraph | Data.PDRS.ProjectionGraph, Data.PDRS |
| PrologDRS | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| Prop | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| PTable | Data.PDRS.ProjectionTable, Data.PDRS |
| PTableContent | Data.PDRS.ProjectionTable, Data.PDRS |
| PTableItem | Data.PDRS.ProjectionTable, Data.PDRS |
| PVar | Data.PDRS.DataType, Data.PDRS |