| Pair | Circuit.Poly, Circuit |
| pair | Circuit.Poles |
| pairs | Circuit.Span |
| Par | |
| 1 (Type/Class) | Circuit.Par, Circuit |
| 2 (Data Constructor) | Circuit.Poly, Circuit |
| parFinRel | Circuit.FinRel |
| parP | Circuit.Par, Circuit |
| ParT | Circuit.Poly, Circuit |
| parT | Circuit.Poly |
| parWiring | Circuit.System |
| Payload | Circuit.Process |
| Pick | Circuit.Shared, Circuit |
| plus | Circuit.Bimonoid, Circuit |
| plusT | Circuit.Bimonoid |
| Point | Circuit.Poly, Circuit |
| point | Circuit.Category |
| Pointed | Circuit.Category |
| Poles | |
| 1 (Type/Class) | Circuit.Poles, Circuit |
| 2 (Data Constructor) | Circuit.Poles, Circuit |
| poles | Circuit.Poles, Circuit |
| poles0 | Circuit.Poles |
| polesK | Circuit.Poles, Circuit |
| polesTensor | Circuit.Poles |
| Poly | Circuit.Poly |
| Pos | Circuit.Poly, Circuit |
| prefixIn | Circuit.Poles, Circuit |
| presentS | Circuit.Span |
| Prism | Circuit.Poly, Circuit |
| prism | Circuit.Poly, Circuit |
| prismMatch | Circuit.Poly |
| probeDir | Circuit.System |
| Process | |
| 1 (Type/Class) | Circuit.Process, Circuit |
| 2 (Data Constructor) | Circuit.Process, Circuit |
| processToBody | Circuit.Process |
| processToSomeBody | Circuit.Process |
| Prod | Circuit.Poly |
| Pullback | |
| 1 (Type/Class) | Circuit.Pullback, Circuit |
| 2 (Data Constructor) | Circuit.Pullback, Circuit |
| push | Circuit.Hyper, Circuit |
| pushK | Circuit.Hyper, Circuit |