Index - P
| pi | Copilot.Language.Prelude, Copilot.Language |
| pred | Copilot.Language.Prelude, Copilot.Language |
| Copilot.Language.Prelude, Copilot.Language | |
| product | Copilot.Language.Prelude, Copilot.Language |
| Projectable | Copilot.Language.Operators.Projection, Copilot.Language.Operators.Struct, Copilot.Language |
| Projection | Copilot.Language.Operators.Projection, Copilot.Language.Operators.Struct, Copilot.Language, Copilot.Language |
| Prop | Copilot.Language.Spec |
| prop | Copilot.Language.Spec, Copilot.Language |
| properFraction | Copilot.Language.Prelude, Copilot.Language |
| properties | Copilot.Language.Spec |
| Property | |
| 1 (Type/Class) | Copilot.Language.Spec |
| 2 (Data Constructor) | Copilot.Language.Spec |
| pure | Copilot.Language.Prelude, Copilot.Language |
| putChar | Copilot.Language.Prelude, Copilot.Language |
| putStr | Copilot.Language.Prelude, Copilot.Language |
| putStrLn | Copilot.Language.Prelude, Copilot.Language |