| path | Control.Search.GeneratorInfo |
| PField | Control.Search.Language |
| pfs | Control.CP.FD.Solvers |
| Plus | |
| 1 (Data Constructor) | Control.Search.Language |
| 2 (Data Constructor) | Data.Expr.Data |
| Pointer | Control.Search.Language |
| popQ | Control.CP.Queue |
| Post | Control.Search.Language |
| post | Control.Search.Combinator.Post |
| postMinimize | Control.CP.FD.Example |
| present | Control.CP.FD.Graph |
| Pretty | Control.Search.Language |
| pretty | Control.Search.Language |
| PrettyFlags | |
| 1 (Type/Class) | Control.Search.Language |
| 2 (Data Constructor) | Control.Search.Language |
| prettyX | Control.Search.Language |
| prim | Control.CP.SearchTree |
| primClone | Control.Search.GeneratorInfo |
| Print | Control.Search.Language |
| PrintSol | Control.CP.FD.SearchSpec.Data |
| PriorityQueue | Control.CP.PriorityQueue |
| procSubModel | Control.CP.FD.FD |
| procSubModelEx | Control.CP.FD.FD |
| property | Data.Expr.Util |
| propertyEx | Data.Expr.Util |
| prt | Control.Search.Combinator.Print |
| pruneNodes | Control.CP.FD.Graph |
| Push | Control.Search.Language |
| pushLeft | Control.Search.Generator |
| pushLeftH | Control.Search.Generator |
| pushQ | Control.CP.Queue |
| pushRight | Control.Search.Generator |
| pushRightH | Control.Search.Generator |