Struct nalgebra::proptest::MatrixStrategy
source · [−]pub struct MatrixStrategy<NStrategy, R: Dim, C: Dim>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,{ /* private fields */ }
Expand description
A strategy for generating matrices.
Trait Implementations
sourceimpl<NStrategy: Clone, R: Clone + Dim, C: Clone + Dim> Clone for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
NStrategy::Value: Clone,
impl<NStrategy: Clone, R: Clone + Dim, C: Clone + Dim> Clone for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
NStrategy::Value: Clone,
sourcefn clone(&self) -> MatrixStrategy<NStrategy, R, C>
fn clone(&self) -> MatrixStrategy<NStrategy, R, C>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl<NStrategy: Debug, R: Debug + Dim, C: Debug + Dim> Debug for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
NStrategy::Value: Debug,
impl<NStrategy: Debug, R: Debug + Dim, C: Debug + Dim> Debug for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
NStrategy::Value: Debug,
sourceimpl<NStrategy, R, C> Strategy for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
R: Dim,
C: Dim,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
impl<NStrategy, R, C> Strategy for MatrixStrategy<NStrategy, R, C>where
NStrategy: Strategy,
NStrategy::Value: Scalar,
R: Dim,
C: Dim,
DefaultAllocator: Allocator<NStrategy::Value, R, C>,
type Tree = MatrixValueTree<<NStrategy as Strategy>::Value, R, C>
type Tree = MatrixValueTree<<NStrategy as Strategy>::Value, R, C>
The value tree generated by this
Strategy
.type Value = Matrix<<NStrategy as Strategy>::Value, R, C, <DefaultAllocator as Allocator<<NStrategy as Strategy>::Value, R, C>>::Buffer>
type Value = Matrix<<NStrategy as Strategy>::Value, R, C, <DefaultAllocator as Allocator<<NStrategy as Strategy>::Value, R, C>>::Buffer>
The type of value used by functions under test generated by this Strategy. Read more
sourcefn new_tree(&self, runner: &mut TestRunner) -> NewTree<Self>
fn new_tree(&self, runner: &mut TestRunner) -> NewTree<Self>
Generate a new value tree from the given runner. Read more
sourcefn prop_map<O, F>(self, fun: F) -> Map<Self, F>where
O: Debug,
F: Fn(Self::Value) -> O,
fn prop_map<O, F>(self, fun: F) -> Map<Self, F>where
O: Debug,
F: Fn(Self::Value) -> O,
Returns a strategy which produces values transformed by the function
fun
. Read moresourcefn prop_perturb<O, F>(self, fun: F) -> Perturb<Self, F>where
O: Debug,
F: Fn(Self::Value, TestRng) -> O,
fn prop_perturb<O, F>(self, fun: F) -> Perturb<Self, F>where
O: Debug,
F: Fn(Self::Value, TestRng) -> O,
Returns a strategy which produces values transformed by the function
fun
, which is additionally given a random number generator. Read moresourcefn prop_flat_map<S, F>(self, fun: F) -> Flatten<Map<Self, F>>where
S: Strategy,
F: Fn(Self::Value) -> S,
fn prop_flat_map<S, F>(self, fun: F) -> Flatten<Map<Self, F>>where
S: Strategy,
F: Fn(Self::Value) -> S,
Maps values produced by this strategy into new strategies and picks
values from those strategies. Read more
sourcefn prop_ind_flat_map<S, F>(self, fun: F) -> IndFlatten<Map<Self, F>>where
S: Strategy,
F: Fn(Self::Value) -> S,
fn prop_ind_flat_map<S, F>(self, fun: F) -> IndFlatten<Map<Self, F>>where
S: Strategy,
F: Fn(Self::Value) -> S,
Maps values produced by this strategy into new strategies and picks
values from those strategies while considering the new strategies to be
independent. Read more
sourcefn prop_ind_flat_map2<S, F>(self, fun: F) -> IndFlattenMap<Self, F>where
S: Strategy,
F: Fn(Self::Value) -> S,
fn prop_ind_flat_map2<S, F>(self, fun: F) -> IndFlattenMap<Self, F>where
S: Strategy,
F: Fn(Self::Value) -> S,
Similar to
prop_ind_flat_map()
, but produces 2-tuples with the input
generated from self
in slot 0 and the derived strategy in slot 1. Read moresourcefn prop_filter<R, F>(self, whence: R, fun: F) -> Filter<Self, F>where
R: Into<Reason>,
F: Fn(&Self::Value) -> bool,
fn prop_filter<R, F>(self, whence: R, fun: F) -> Filter<Self, F>where
R: Into<Reason>,
F: Fn(&Self::Value) -> bool,
Returns a strategy which only produces values accepted by
fun
. Read moresourcefn prop_filter_map<F, O>(
self,
whence: impl Into<Reason>,
fun: F
) -> FilterMap<Self, F>where
F: Fn(Self::Value) -> Option<O>,
O: Debug,
fn prop_filter_map<F, O>(
self,
whence: impl Into<Reason>,
fun: F
) -> FilterMap<Self, F>where
F: Fn(Self::Value) -> Option<O>,
O: Debug,
Returns a strategy which only produces transformed values where
fun
returns Some(value)
and rejects those where fun
returns None
. Read moresourcefn prop_union(self, other: Self) -> Union<Self>
fn prop_union(self, other: Self) -> Union<Self>
sourcefn prop_recursive<R, F>(
self,
depth: u32,
desired_size: u32,
expected_branch_size: u32,
recurse: F
) -> Recursive<Self::Value, F>where
R: 'static + Strategy<Value = Self::Value>,
F: Fn(BoxedStrategy<Self::Value>) -> R,
Self: 'static,
fn prop_recursive<R, F>(
self,
depth: u32,
desired_size: u32,
expected_branch_size: u32,
recurse: F
) -> Recursive<Self::Value, F>where
R: 'static + Strategy<Value = Self::Value>,
F: Fn(BoxedStrategy<Self::Value>) -> R,
Self: 'static,
Generate a recursive structure with
self
items as leaves. Read moresourcefn boxed(self) -> BoxedStrategy<Self::Value>where
Self: 'static,
fn boxed(self) -> BoxedStrategy<Self::Value>where
Self: 'static,
Erases the type of this
Strategy
so it can be passed around as a
simple trait object. Read moreAuto Trait Implementations
impl<NStrategy, R, C> !RefUnwindSafe for MatrixStrategy<NStrategy, R, C>
impl<NStrategy, R, C> !Send for MatrixStrategy<NStrategy, R, C>
impl<NStrategy, R, C> !Sync for MatrixStrategy<NStrategy, R, C>
impl<NStrategy, R, C> Unpin for MatrixStrategy<NStrategy, R, C>
impl<NStrategy, R, C> !UnwindSafe for MatrixStrategy<NStrategy, R, C>
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.