| TestAborted | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| TestExausted | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| TestFailed | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| TestOk | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| TestOptions |
| 1 (Type/Class) | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| 2 (Data Constructor) | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| TestResult | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
| Testable | Test.QuickCheck, Debug.QuickCheck |
| test | Test.QuickCheck, Debug.QuickCheck |
| three | Test.QuickCheck, Debug.QuickCheck |
| trivial | Test.QuickCheck, Debug.QuickCheck |
| two | Test.QuickCheck, Debug.QuickCheck |
