on -package:gi-gtk-hs package:QuickCheck

Modifies a property so that it only will be tested once. Opposite of again.

Randomly uses one of the given generators. The input list must be non-empty.

The statistical parameters used by checkCoverage.

The class Function a is used for random generation of showable functions of type a -> b. There is a default implementation for function, which you can use if your type has structural equality. Otherwise, you can normally use functionMap or functionShow.

NonEmpty xs: guarantees that xs is non-empty.

NonNegative x: guarantees that x >= 0.

NonPositive x: guarantees that x <= 0.

NonZero x: guarantees that x /= 0.

Uniformly generates a fractional number. The number can be positive or negative and its maximum absolute value depends on the size parameter.

Take the conjunction of several properties.

Provides a Function instance for types with Bounded and Enum. Use only for small types (i.e. not integers): creates the list [minBound..maxBound]!

Provides a Function instance for types with Integral.

The basic building block for Function instances. Provides a Function instance by mapping to and from a type that already has a Function instance.

Provides a Function instance for types with RealFrac.

Provides a Function instance for types with Show and Read.

Provides a Function instance for types isomorphic to Void. An actual Function Void instance is defined in quickcheck-instances.