NoExpectedFailure | Test.Microspec |
NonEmpty | Test.Microspec |
NonEmptyList | Test.Microspec |
NonNegative | |
1 (Data Constructor) | Test.Microspec |
2 (Type/Class) | Test.Microspec |
NonZero | |
1 (Data Constructor) | Test.Microspec |
2 (Type/Class) | Test.Microspec |
noShrinking | Test.Microspec |
numDiscarded | Test.Microspec |
numShrinkFinal | Test.Microspec |
numShrinks | Test.Microspec |
numShrinkTries | Test.Microspec |
numTests | Test.Microspec |