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.