Index - P
| Pair | Numerical.Data.Vector.Pair |
| plus_id_r | Numerical.Nat |
| plus_succ_r | Numerical.Nat |
| Prod | Numerical.Data.Vector.Pair |
| Proxy | |
| 1 (Data Constructor) | Numerical.Nat |
| 2 (Type/Class) | Numerical.Nat |
| PureArray | Numerical.Array.Pure |
| PureArrayAddress | Numerical.Array.Pure |
| PureDenseArray | Numerical.Array.Pure |
| put | Control.NumericalMonad.State.Strict |