Struct proptest::collection::SizeRange

pub struct SizeRange(_);

The minimum and maximum range/bounds on the size of a collection. The interval must form a subset of [0, std::usize::MAX).

The Default is 0..100.

Methods

impl SizeRange

pub fn new(range: Range<usize>) -> Self

Creates a SizeBounds from a Range<usize>.

pub fn with<X>(self, and: X) -> (Self, X)

Merges self together with some other argument producing a product type expected by some impelementations of A: Arbitrary in A::Parameters. This can be more ergonomic to work with and may help type inference.

pub fn lift<X: Default>(self) -> (Self, X)

Merges self together with some other argument generated with a default value producing a product type expected by some impelementations of A: Arbitrary in A::Parameters. This can be more ergonomic to work with and may help type inference.

Trait Implementations

impl Arbitrary for SizeRange

type ValueTree = <Self::Strategy as Strategy>::Value

The type of [ValueTree] used for Self's [Strategy].

type Parameters = ()

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = MapInto<StrategyFor<Range<usize>>, Self>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).

impl Default for SizeRange

fn default() -> Self

Constructs a SizeBounds that will ranges between 0 and 100 elements.

impl From<(usize, usize)> for SizeRange

Given (low: usize, high: usize), then a size range of [low..high) is the result.

fn from(x: (usize, usize)) -> Self

Performs the conversion.

impl From<usize> for SizeRange

Given exact, then a size range of [exact..exact + 1) is the result.

fn from(exact: usize) -> Self

Performs the conversion.

impl From<RangeTo<usize>> for SizeRange

Given ..high, then a size range [0..high) is the result.

fn from(high: RangeTo<usize>) -> Self

Performs the conversion.

impl From<Range<usize>> for SizeRange

Given low..high, then a size range [low..high) is the result.

fn from(x: Range<usize>) -> Self

Performs the conversion.

impl From<SizeRange> for Range<usize>

fn from(x: SizeRange) -> Self

Performs the conversion.

impl Add<usize> for SizeRange

Adds usize to both start and end of the bounds.

type Output = SizeRange

The resulting type after applying the + operator.

fn add(self, rhs: usize) -> Self::Output

Performs the + operation.

impl Clone for SizeRange

fn clone(&self) -> SizeRange

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq for SizeRange

fn eq(&self, __arg_0: &SizeRange) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &SizeRange) -> bool

This method tests for !=.

impl Eq for SizeRange

impl Hash for SizeRange

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl Debug for SizeRange

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.