Index - P
| Peano | Data.Type.Natural.Builtin |
| plusAssoc | Data.Type.Natural.Builtin |
| plusAssociative | Data.Type.Natural |
| plusComm | Data.Type.Natural.Builtin |
| plusCommutative | Data.Type.Natural |
| plusCongL | Data.Type.Natural |
| plusCongR | Data.Type.Natural |
| plusInjectiveL | Data.Type.Natural |
| plusInjectiveR | Data.Type.Natural |
| plusLeqL | Data.Type.Natural |
| plusLeqR | Data.Type.Natural |
| plusMinusEqL | Data.Type.Natural |
| plusMinusEqR | Data.Type.Natural |
| plusMonotone | Data.Type.Natural |
| plusMultDistr | |
| 1 (Function) | Data.Type.Natural |
| 2 (Function) | Data.Type.Natural.Builtin |
| plusNeutralL | Data.Type.Natural |
| plusNeutralR | Data.Type.Natural |
| pluSSR | Data.Type.Natural |
| plusSuccL | Data.Type.Natural.Builtin |
| plusSuccR | Data.Type.Natural.Builtin |
| pluSZL | Data.Type.Natural |
| plusZL | Data.Type.Natural.Builtin |
| pluSZR | Data.Type.Natural |
| plusZR | Data.Type.Natural.Builtin |
| propToBoolLeq | Data.Type.Natural |
| propToClassLeq | Data.Type.Natural |
| Proxy | |
| 1 (Data Constructor) | Data.Type.Natural |
| 2 (Type/Class) | Data.Type.Natural |