Test.AntiGen

Create a negatable generator by providing a positive and a negative generator

Postfix annotation operator. Annotates an AntiGen with a label that will be included in ZapResult when this generator is zapped.

myGen = positive |! negative #! "sign"

Create an AntiGen from a positive and a negative AntiGen generator

Wrap an AntiGen with an annotation

Create a positive generator from the provided AntiGen.

Create a negative generator from an AntiGen by introducing at most n mistakes. If there are no negatable generators in the AntiGen, it will return a positive generator. Also if the number of negatable generators in the AntiGen is lower than n, then the number of negations will be less than n.

Create a negative generator from an AntiGen by introducing at most n mistakes.

Pretty print the annotation paths from a ZapResult

Like replicateM, but normalizes the weight of each element by 1/n.

The total weight of the list becomes the average weight of its elements, rather than the sum. This prevents longer lists from having a disproportionately higher chance of being zapped.

Returns the provided number.

Negative: returns a value that is not equal to the provided number.

Returns the provided Bool.

Negative: returns the negation of that Bool.

Returns the provided value

Negative: Generates an arbitrary value that is different from the provided value.

Warning: It uses suchThat, so using it on small types might end up discarding many values.

Returns the provided value

Negative: Use the generator to generate a random value that is different from the provided value.

Warning: It uses suchThat, so using it on small types might end up discarding many values.

Generates a value from the first range.

Negative: Generates a value from the second range excluding the first range.

Generates a value from the range.

Negative: Returns a random value outside the range between minBound and maxBound.

Returns a positive number

Negative: Returns a non-positive number

Returns a non-positive number

Negative: Returns a positive number

Returns a negative number

Negative: Returns a non-negative number

Returns a non-negative number

Negative: Returns a negative number

Returns `Just x`

Negative: Returns Nothing

Returns a non-empty list

Negative: Generate an empty list

Generate a pair with equal values

Negative: Generates a pair of distinct values

Generates a pair (x, y) where x /= y.

Negative: Generates a pair (x, y) where x == y.