Module zebra_test::prelude::prop::array

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.
  • Create a strategy to generate fixed-length arrays.