Module proptest::sample

source ·
Expand description

Strategies for generating values by taking samples of collections.

Note that the strategies in this module are not native combinators; that is, the input collection is not itself a strategy, but is rather fixed when the strategy is created.




  • Create a strategy which uniformly selects one value from values.
  • Sample subsequences whose size are within size from the given collection values.