Struct proptest_arbitrary::SizeBounds

pub struct SizeBounds(_);

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

Methods

impl SizeBounds

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

Creates a SizeBounds from a Range<usize>.

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

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

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

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

Trait Implementations

impl Default for SizeBounds

fn default() -> Self

Returns the "default value" for a type.

impl From<(usize, usize)> for SizeBounds

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

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

Performs the conversion.

impl From<usize> for SizeBounds

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

fn from(exact: usize) -> Self

Performs the conversion.

impl From<RangeTo<usize>> for SizeBounds

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

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

Performs the conversion.

impl Add<usize> for SizeBounds

Adds usize to both start and end of the bounds.

type Output = SizeBounds

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Arbitrary<'a> for SizeBounds

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 = FMapped<'a, 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 Clone for SizeBounds

fn clone(&self) -> SizeBounds

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for SizeBounds

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

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

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

This method tests for !=.

impl Eq for SizeBounds

impl Hash for SizeBounds

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 SizeBounds

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

Formats the value using the given formatter.

impl From<Range<usize>> for SizeBounds

fn from(original: Range<usize>) -> SizeBounds

Performs the conversion.

impl Generic for SizeBounds

type Repr = HCons<Range<usize>, HNil>

The generic representation type

fn into(self) -> Self::Repr

Go from something to Repr

fn from(r: Self::Repr) -> Self

Go from Repr to something

fn convert_from<A>(a: A) -> Self where
    A: Generic<Repr = Self::Repr>, 

From one type to another using a type with a compatible generic representation