| ||||||||||||
| ||||||||||||
Description | ||||||||||||
This is a batch driver for runing QuickCheck. | ||||||||||||
run :: (Testable a) => a -> TestOptions -> IO TestResult | ||||||||||||
runTests :: String -> TestOptions -> [TestOptions -> IO TestResult] -> IO () | ||||||||||||
defOpt :: TestOptions | ||||||||||||
data TestOptions | ||||||||||||
| ||||||||||||
isBottom :: a -> Bool | ||||||||||||
Produced by Haddock version 0.3 |