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: RangeInclusive<usize>) -> Self

Creates a SizeBounds from a RangeInclusive<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 Parameters = ()

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

type Strategy = MapInto<StrategyFor<RangeInclusive<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 SizeRange equivalent to size_range(0..100).

impl From<(usize, usize)> for SizeRange

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

fn from((low, high): (usize, usize)) -> Self

Performs the conversion.

impl From<usize> for SizeRange

Given exact, then a size range of [exact, exact] 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(r: Range<usize>) -> Self

Performs the conversion.

impl From<RangeInclusive<usize>> for SizeRange

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

fn from(r: RangeInclusive<usize>) -> Self

Performs the conversion.

impl From<RangeToInclusive<usize>> for SizeRange

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

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

Performs the conversion.

impl From<SizeRange> for Range<usize>

Given a size range [low, high], then a rangelow..(high + 1) is returned. This will panic if high == usize::MAX.

fn from(sr: SizeRange) -> Self

Performs the conversion.

impl From<SizeRange> for RangeInclusive<usize>

Given a size range [low, high], then a range low..=high is returned.

fn from(sr: SizeRange) -> Self

Performs the conversion.

impl Add<usize> for SizeRange

Adds usize to both start and end of the bounds.

Panics if adding to either end overflows usize.

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, other: &SizeRange) -> bool

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

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

This method tests for !=.

impl Eq for SizeRange

impl Hash for SizeRange

fn hash<__H: Hasher>(&self, state: &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, f: &mut Formatter) -> Result

Formats the value using the given formatter.