pub struct DimRange<D = Dynamic>(_);
Expand description
A range of allowed dimensions for use in generation of matrices.
The DimRange
type is used to encode the range of dimensions that can be used for generation
of matrices with proptest
. In most cases, you do not need to concern yourself with
DimRange
directly, as it supports conversion from other types such as U3
or inclusive
ranges such as 5 ..= 6
. The latter example corresponds to dimensions from (inclusive)
Dynamic::new(5)
to Dynamic::new(6)
(inclusive).
Implementations
sourceimpl<D: Dim> DimRange<D>
impl<D: Dim> DimRange<D>
sourcepub fn lower_bound(&self) -> D
pub fn lower_bound(&self) -> D
The lower bound for dimensions generated.
sourcepub fn upper_bound(&self) -> D
pub fn upper_bound(&self) -> D
The upper bound for dimensions generated.
sourceimpl<D: Dim> DimRange<D>
impl<D: Dim> DimRange<D>
sourcepub fn to_range_inclusive(&self) -> RangeInclusive<usize>
pub fn to_range_inclusive(&self) -> RangeInclusive<usize>
Converts the DimRange
into an instance of RangeInclusive
.
Trait Implementations
sourceimpl<D: Dim> From<RangeInclusive<D>> for DimRange<D>
impl<D: Dim> From<RangeInclusive<D>> for DimRange<D>
sourcefn from(range: RangeInclusive<D>) -> Self
fn from(range: RangeInclusive<D>) -> Self
Converts to this type from the input type.
sourceimpl From<RangeInclusive<usize>> for DimRange<Dynamic>
impl From<RangeInclusive<usize>> for DimRange<Dynamic>
sourcefn from(range: RangeInclusive<usize>) -> Self
fn from(range: RangeInclusive<usize>) -> Self
Converts to this type from the input type.
sourceimpl<D: PartialEq> PartialEq<DimRange<D>> for DimRange<D>
impl<D: PartialEq> PartialEq<DimRange<D>> for DimRange<D>
impl<D: Eq> Eq for DimRange<D>
impl<D> StructuralEq for DimRange<D>
impl<D> StructuralPartialEq for DimRange<D>
Auto Trait Implementations
impl<D> RefUnwindSafe for DimRange<D>where
D: RefUnwindSafe,
impl<D> Send for DimRange<D>where
D: Send,
impl<D> Sync for DimRange<D>where
D: Sync,
impl<D> Unpin for DimRange<D>where
D: Unpin,
impl<D> UnwindSafe for DimRange<D>where
D: UnwindSafe,
Blanket Implementations
sourceimpl<T> ArchivePointee for T
impl<T> ArchivePointee for T
type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
sourcefn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
fn pointer_metadata(
&<T as ArchivePointee>::ArchivedMetadata
) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<F, W, T, D> Deserialize<With<T, W>, D> for Fwhere
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
impl<F, W, T, D> Deserialize<With<T, W>, D> for Fwhere
W: DeserializeWith<F, T, D>,
D: Fallible + ?Sized,
F: ?Sized,
sourceimpl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
sourcefn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moresourcefn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).sourcefn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.sourcefn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.sourceimpl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
sourcefn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read moresourcefn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).sourceunsafe fn to_subset_unchecked(&self) -> SS
unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.sourcefn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.