Module proptest::array

Support for strategies producing fixed-length arrays.

An array of strategies (but only length 1 to 32 for now) is itself a strategy which generates arrays of that size drawing elements from the corresponding input strategies.

See also UniformArrayStrategy for easily making a strategy for an array drawn from one strategy.

General implementations are available for sizes 1 through 32.

Structs

ArrayValueTree	A ValueTree operating over a fixed-size array.
UniformArrayStrategy	A Strategy which generates fixed-size arrays containing values drawn from an inner strategy.

Functions

uniform1	Create a strategy to generate fixed-length arrays.
uniform2	Create a strategy to generate fixed-length arrays.
uniform3	Create a strategy to generate fixed-length arrays.
uniform4	Create a strategy to generate fixed-length arrays.
uniform5	Create a strategy to generate fixed-length arrays.
uniform6	Create a strategy to generate fixed-length arrays.
uniform7	Create a strategy to generate fixed-length arrays.
uniform8	Create a strategy to generate fixed-length arrays.
uniform9	Create a strategy to generate fixed-length arrays.
uniform10	Create a strategy to generate fixed-length arrays.
uniform11	Create a strategy to generate fixed-length arrays.
uniform12	Create a strategy to generate fixed-length arrays.
uniform13	Create a strategy to generate fixed-length arrays.
uniform14	Create a strategy to generate fixed-length arrays.
uniform15	Create a strategy to generate fixed-length arrays.
uniform16	Create a strategy to generate fixed-length arrays.
uniform17	Create a strategy to generate fixed-length arrays.
uniform18	Create a strategy to generate fixed-length arrays.
uniform19	Create a strategy to generate fixed-length arrays.
uniform20	Create a strategy to generate fixed-length arrays.
uniform21	Create a strategy to generate fixed-length arrays.
uniform22	Create a strategy to generate fixed-length arrays.
uniform23	Create a strategy to generate fixed-length arrays.
uniform24	Create a strategy to generate fixed-length arrays.
uniform25	Create a strategy to generate fixed-length arrays.
uniform26	Create a strategy to generate fixed-length arrays.
uniform27	Create a strategy to generate fixed-length arrays.
uniform28	Create a strategy to generate fixed-length arrays.
uniform29	Create a strategy to generate fixed-length arrays.
uniform30	Create a strategy to generate fixed-length arrays.
uniform31	Create a strategy to generate fixed-length arrays.
uniform32	Create a strategy to generate fixed-length arrays.