Module Test
This module is undocumented. This is a list of its definitions.
(==>) :: Testable a => Boolean -> a -> Gen TestResult
CounterexampleRoot :: Counterexample
Failure :: Counterexample -> TestResult
WithParameter :: String -> Counterexample -> Counterexample
forAll :: Show a => Testable b => Gen a -> (a -> b) -> Gen TestResult
injectParameter :: Show a => a -> TestResult -> TestResult
printCounterexample :: Counterexample -> <Proc> ()
property :: Testable a => a -> Gen TestResult
quickCheck :: Testable a => a -> <Proc> ()
|