Index - N
| Negative | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| NoExpectedFailure | Polysemy.Law |
| NonDet | Polysemy.Internal.NonDet, Polysemy.NonDet |
| nonDetToError | Polysemy.NonDet |
| NonEmpty | Polysemy.Law |
| NonEmptyList | Polysemy.Law |
| NonNegative | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| NonPositive | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| NonZero | |
| 1 (Data Constructor) | Polysemy.Law |
| 2 (Type/Class) | Polysemy.Law |
| noShrinking | Polysemy.Law |
| note | Polysemy.Error |
| numDiscarded | Polysemy.Law |
| numShrinkFinal | Polysemy.Law |
| numShrinks | Polysemy.Law |
| numShrinkTries | Polysemy.Law |
| numTests | Polysemy.Law |