Module proptest::array

source ·
Expand description

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

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

Functions

Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.
Create a strategy to generate fixed-length arrays.