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