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.