This is a lazily evaluated And that combines two properties.

Generates an array of N elements from the given generator.

Combines a list of assertion functions of type "func(A) (bool, error)" into a new function that returns their logical AND Note that like Prop.And above it evaluates lazily.

Combines a list of assertion functions of type "func(A) (bool, error)" into a single new function that returns their logical OR.

Generates A random boolean.

Generates an array with A size in the indicated range using the given Gen.

Generates a random date (stopExclusive - start) days from or preceding 1999-12-31.

Generates an integer between start and stop exclusive.

* Given a Generator(ge), a generated-value transformation function(f), and a variadic list of predicate functions(assertions), ForAll produces a function(of type Prop) that will run a set number of test cases with a given generator.

Generate A random Int.

This is a lazily evaluated Or that combines two properties.

Be careful about specifying the stringMaxSize because if you make it too large you will probably never end up with an empty string.

Generates A random value from A set of generators in proportion to an individual generator's weight in the list.

Generates A float64 floating point number.

Generates A non-negative integer.