Pick a constructor with a given distribution, and fill its fields with recursive calls to arbitrary.

Example

genericArbitrary (2 % 3 % 5 % ()) :: Gen a

Picks the first constructor with probability 2/10, the second with probability 3/10, the third with probability 5/10.

Pick every constructor with equal probability. Equivalent to genericArbitrary uniform.

genericArbitraryU :: Gen a

arbitrary for types with one constructor. Equivalent to genericArbitraryU, with a stricter type.

genericArbitrarySingle :: Gen a

Decrease size at every recursive call, but don't do anything different at size 0.

genericArbitraryRec (7 % 11 % 13 % ()) :: Gen a

genericArbitrary with explicit generators.

Example

genericArbitraryG customGens (17 % 19 % ())

where, for example to override generators for String and Int fields,

customGens :: GenList '[String, Int] customGens = (filter (/= '\NUL') <$> arbitrary) :@ (getNonNegative <$> arbitrary) :@ Nil 

Note on multiple matches

If the list contains multiple matching types for a field x of type a (i.e., either a or Field "x" a), the generator for the first match will be picked.

genericArbitraryU with explicit generators. See also genericArbitraryG.

genericArbitrarySingle with explicit generators. See also genericArbitraryG.

genericArbitraryRec with explicit generators. See also genericArbitraryG.

General generic generator with custom options.

Trees of weights assigned to constructors of type a, rescaled to obtain a probability distribution.

Two ways of constructing them.

(x1 % x2 % ... % xn % ()) :: Weights a uniform :: Weights a 

Using (%), there must be exactly as many weights as there are constructors.

uniform is equivalent to (1 % ... % 1 % ()) (automatically fills out the right number of 1s).

Type of a single weight, tagged with the name of the associated constructor for additional compile-time checking.

((9 :: W "Leaf") % (8 :: W "Node") % ()) 

A smart constructor to specify a custom distribution. It can be omitted for the % operator is overloaded to insert it.

Uniform distribution.

Derived uniform distribution of constructors for a.

Type-level options for GArbitrary.

Whether to decrease the size parameter before generating fields.

Heterogeneous list of generators.

A marker for a generator which overrides a specific field named s.

Available only for base >= 4.9.

Field constructor with the field name given via a proxy.

Generic Arbitrary

Generic Arbitrary