Struct SizeBounds 

pub struct SizeBounds(/* private fields */);

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

Implementations

impl SizeBounds

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

Creates a SizeBounds from a Range<usize>.

pub 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.

pub 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 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 = <<SizeBounds as Arbitrary<'a>>::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 = Map<<Range<usize> as Arbitrary<'a>>::Strategy, FromMapper<<<<Range<usize> as Arbitrary<'a>>::Strategy as Strategy>::Value as ValueTree>::Value, SizeBounds>>

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 duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SizeBounds

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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

Converts to this type from the input type.

impl From<Range<usize>> for SizeBounds

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

Converts to this type from the input type.

impl From<RangeTo<usize>> for SizeBounds

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

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

Converts to this type from the input type.

impl From<SizeBounds> for Range<usize>

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

Converts to this type from the input type.

impl From<usize> for SizeBounds

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

fn from(exact: usize) -> Self

Converts to this type from the input type.

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>, Self: Sized,

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

impl Hash for SizeBounds

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SizeBounds

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SizeBounds

impl StructuralPartialEq for SizeBounds