Int -> [a] -> a -parallel +quickcheck
how to compute the size of test cases from discarded tests
Considers a property failed if it does not complete within the given number of microseconds.
Overrides the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter.
Checks that at least the given proportion of the test cases belong to the given class.
Modifies a generator using an integer seed.
Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.
Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.
Disjunction: p1 .||. p2 passes unless p1 and p2 simultaneously fail.
Labels a property with a value:
> collect x = label (show x)