Index - P
| pcompare | Data.Prd |
| pcompareOrd | Data.Prd |
| pcomparePrd | Data.Prd |
| pcomparing | Data.Connection |
| peq | Data.Prd |
| pge | Data.Prd |
| pgt | Data.Prd |
| pInf | Data.Float |
| pinf | Data.Float |
| pjoin | Data.Prd |
| ple | Data.Prd |
| plt | Data.Prd |
| pmax | Data.Prd |
| pmeet | Data.Prd |
| pmin | Data.Prd |
| pne | Data.Prd |
| Positive | Data.Dioid.Signed |
| positive | Data.Prd |
| Prd | Data.Prd |
| projective_l | Data.Connection.Property |
| projective_r | Data.Connection.Property |