Struct nalgebra::base::constraint::ShapeConstraint
source · pub struct ShapeConstraint;
Expand description
A type used in where
clauses for enforcing constraints.
Trait Implementations§
source§impl Clone for ShapeConstraint
impl Clone for ShapeConstraint
source§fn clone(&self) -> ShapeConstraint
fn clone(&self) -> ShapeConstraint
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ShapeConstraint
impl Debug for ShapeConstraint
source§impl<D: Dim> DimEq<D, D> for ShapeConstraint
impl<D: Dim> DimEq<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
This constructs a value of type
Representative
with the
correct valuesource§impl<D: DimName> DimEq<D, Dyn> for ShapeConstraint
impl<D: DimName> DimEq<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
This constructs a value of type
Representative
with the
correct valuesource§impl<D: DimName> DimEq<Dyn, D> for ShapeConstraint
impl<D: DimName> DimEq<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
This constructs a value of type
Representative
with the
correct valuesource§impl<D: Dim> SameDimension<D, D> for ShapeConstraint
impl<D: Dim> SameDimension<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameDimension<D, Dyn> for ShapeConstraint
impl<D: DimName> SameDimension<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: DimName> SameDimension<Dyn, D> for ShapeConstraint
impl<D: DimName> SameDimension<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§impl<D: Dim> SameNumberOfColumns<D, D> for ShapeConstraint
impl<D: Dim> SameNumberOfColumns<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.source§impl<D: DimName> SameNumberOfColumns<D, Dyn> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.source§impl<D: DimName> SameNumberOfColumns<Dyn, D> for ShapeConstraint
impl<D: DimName> SameNumberOfColumns<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfColumns<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.source§impl<D: Dim> SameNumberOfRows<D, D> for ShapeConstraint
impl<D: Dim> SameNumberOfRows<D, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.source§impl<D: DimName> SameNumberOfRows<D, Dyn> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<D, Dyn> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.source§impl<D: DimName> SameNumberOfRows<Dyn, D> for ShapeConstraint
impl<D: DimName> SameNumberOfRows<Dyn, D> for ShapeConstraint
§type Representative = D
type Representative = D
This is either equal to
D1
or D2
, always choosing the one (if any) which is a type-level
constant.source§fn representative(
d1: D1,
d2: D2
) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
fn representative( d1: D1, d2: D2 ) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative>
Returns a representative dimension instance if the two are equal,
otherwise
None
.impl<R1: Dim, C1: Dim, R2: Dim, C2: Dim> AreMultipliable<R1, C1, R2, C2> for ShapeConstraintwhere
ShapeConstraint: DimEq<C1, R2>,
impl Copy for ShapeConstraint
Auto Trait Implementations§
impl Freeze for ShapeConstraint
impl RefUnwindSafe for ShapeConstraint
impl Send for ShapeConstraint
impl Sync for ShapeConstraint
impl Unpin for ShapeConstraint
impl UnwindSafe for ShapeConstraint
Blanket Implementations§
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<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.