pub struct DimRange<D = Dyn>(_);
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)
Dyn(5)
to Dyn(6)
(inclusive).
Implementations§
source§impl<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.
source§impl<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§
source§impl<D: Dim> From<RangeInclusive<D>> for DimRange<D>
impl<D: Dim> From<RangeInclusive<D>> for DimRange<D>
source§fn from(range: RangeInclusive<D>) -> Self
fn from(range: RangeInclusive<D>) -> Self
Converts to this type from the input type.
source§impl From<RangeInclusive<usize>> for DimRange<Dyn>
impl From<RangeInclusive<usize>> for DimRange<Dyn>
source§fn from(range: RangeInclusive<usize>) -> Self
fn from(range: RangeInclusive<usize>) -> Self
Converts to this type from the input type.
source§impl<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§
source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
source§fn 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.
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<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,
source§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Gets the layout of the type.
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
source§fn 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 moresource§fn 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).source§fn 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.source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
source§fn 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 moresource§fn 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).source§unsafe 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.source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.