Struct proptest::array::UniformArrayStrategy[][src]

#[must_use = "strategies do nothing unless used"]
pub struct UniformArrayStrategy<S, T> { /* fields omitted */ }

A Strategy which generates fixed-size arrays containing values drawn from an inner strategy.

T must be an array type of length 1 to 32 whose values are produced by strategy S. Instances of this type are normally created by the various uniformXX functions in this module.

This is mainly useful when the inner strategy is not Copy, precluding expressing the strategy as [myStrategy; 32], for example.

Example

#[macro_use] extern crate proptest;
use proptest::prelude::*;

proptest! {
  #[test]
  fn test_something(a in prop::array::uniform32(1u32..)) {
    let unexpected = [0u32;32];
    // `a` is also a [u32;32], so we can compare them directly
    assert_ne!(unexpected, a);
  }
}

Methods

impl<S, T> UniformArrayStrategy<S, T>
[src]

Directly create a UniformArrayStrategy.

This is only intended for advanced use, since the only way to specify the array size is with the turbofish operator and explicitly naming the type of the values in the array and the strategy itself.

Prefer the uniformXX functions at module-level unless something precludes their use.

Trait Implementations

impl<S: Clone, T: Clone> Clone for UniformArrayStrategy<S, T>
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<S: Copy, T: Copy> Copy for UniformArrayStrategy<S, T>
[src]

impl<S: Debug, T: Debug> Debug for UniformArrayStrategy<S, T>
[src]

Formats the value using the given formatter. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 1]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 2]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 3]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 4]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 5]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 6]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 7]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 8]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 9]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 10]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 11]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 12]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 13]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 14]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 15]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 16]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 17]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 18]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 19]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 20]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 21]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 22]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 23]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 24]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 25]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 26]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 27]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 28]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 29]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 30]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 31]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

impl<S: Strategy> Strategy for UniformArrayStrategy<S, [S::Value; 32]>
[src]

The value tree generated by this Strategy.

The type of value used by functions under test generated by this Strategy. Read more

Generate a new value tree from the given runner. Read more

Returns a strategy which produces values transformed by the function fun. Read more

Returns a strategy which produces values of type O by transforming Self with Into<O>. Read more

Returns a strategy which produces values transformed by the function fun, which is additionally given a random number generator. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies. Read more

Maps values produced by this strategy into new strategies and picks values from those strategies while considering the new strategies to be independent. Read more

Similar to prop_ind_flat_map(), but produces 2-tuples with the input generated from self in slot 0 and the derived strategy in slot 1. Read more

Returns a strategy which only produces values accepted by fun. Read more

Returns a strategy which only produces transformed values where fun returns Some(value) and rejects those where fun returns None. Read more

Returns a strategy which picks uniformly from self and other. Read more

Generate a recursive structure with self items as leaves. Read more

Shuffle the contents of the values produced by this strategy. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Erases the type of this Strategy so it can be passed around as a simple trait object. Read more

Wraps this strategy to prevent values from being subject to shrinking. Read more

Auto Trait Implementations

impl<S, T> Send for UniformArrayStrategy<S, T> where
    S: Send,
    T: Send

impl<S, T> Sync for UniformArrayStrategy<S, T> where
    S: Sync,
    T: Sync