forAll -package:gdp

Explicit universal quantification: uses an explicitly given test case generator.

Generates a random input for the test by running the provided generator.

Set the universal quantification context.

Set the universal quantification context

Running a generator for a specific type under a property

Universal quantification of boolean streams over time.

This module uses a trick to provide quantification over constraints.

Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

A universal symbolic variable, used in building quantified constraints. The name attached via the symbol is used during skolemization. It names the corresponding argument to the skolem-functions within the scope of this quantifier.

Represents universal quantification.

Every element in xs satisfies c

Generating a random value

"for all"

Like forAll, but without printing the generated value.

Test all properties in the current module, using a custom quickCheck function. The same caveats as with quickCheckAll apply. $forAllProperties has type (Property -> IO Result) -> IO Bool. An example invocation is $forAllProperties quickCheckResult, which does the same thing as $quickCheckAll. forAllProperties has the same issue with scoping as quickCheckAll: see the note there about return [].

Like forAll, but with an explicitly given show function.

Like forAll, but tries to shrink the argument for failing test cases.