Index - P
| Pass | Polysemy.Internal.Writer, Polysemy.Writer |
| pass | Polysemy.Internal.Writer, Polysemy.Writer |
| polyQuickCheck | Polysemy.Law |
| polyVerboseCheck | Polysemy.Law |
| Positive | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| PrintableString | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| printf | Polysemy.Law |
| printTestCase | Polysemy.Law |
| prj | Polysemy.Internal.Union |
| prjUsing | Polysemy.Internal.Union |
| Property | Polysemy.Law |
| property | Polysemy.Law |
| propertyForAllShrinkShow | Polysemy.Law |
| prop_lawfulState | Polysemy.State.Law |
| pureS | Polysemy.Internal.Strategy, Polysemy.Final |
| pureT | Polysemy.Internal.Tactics, Polysemy |
| Put | Polysemy.State |
| put | Polysemy.State |