# [−][src]Struct nalgebra::base::constraint::ShapeConstraint

A type used in `where`

clauses for enforcing constraints.

## Trait Implementations

`impl<R1: Dim, C1: Dim, R2: Dim, C2: Dim> AreMultipliable<R1, C1, R2, C2> for ShapeConstraint where`

ShapeConstraint: DimEq<C1, R2>,

[src]

ShapeConstraint: DimEq<C1, R2>,

`impl<D: Dim> DimEq<D, D> for ShapeConstraint`

[src]

`type Representative = D`

This is either equal to `D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> DimEq<D, Dynamic> for ShapeConstraint`

[src]

`type Representative = D`

This is either equal to `D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> DimEq<Dynamic, D> for ShapeConstraint`

[src]

`type Representative = D`

This is either equal to `D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: Dim> SameDimension<D, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameDimension<D, Dynamic> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameDimension<Dynamic, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: Dim> SameNumberOfColumns<D, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameNumberOfColumns<D, Dynamic> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameNumberOfColumns<Dynamic, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: Dim> SameNumberOfRows<D, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameNumberOfRows<D, Dynamic> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

`impl<D: DimName> SameNumberOfRows<Dynamic, D> for ShapeConstraint`

[src]

`type Representative = D`

`D1`

or `D2`

, always choosing the one (if any) which is a type-level constant. Read more

## Auto Trait Implementations

`impl RefUnwindSafe for ShapeConstraint`

`impl Send for ShapeConstraint`

`impl Sync for ShapeConstraint`

`impl Unpin for ShapeConstraint`

`impl UnwindSafe for ShapeConstraint`

## Blanket Implementations

`impl<T> Any for T where`

T: 'static + ?Sized,

[src]

T: 'static + ?Sized,

`impl<T> Borrow<T> for T where`

T: ?Sized,

[src]

T: ?Sized,

`impl<T> BorrowMut<T> for T where`

T: ?Sized,

[src]

T: ?Sized,

`fn borrow_mut(&mut self) -> &mut T`

[src]

`impl<T> From<T> for T`

[src]

`impl<T, U> Into<U> for T where`

U: From<T>,

[src]

U: From<T>,

`impl<T> Same<T> for T`

`type Output = T`

Should always be `Self`

`impl<SS, SP> SupersetOf<SS> for SP where`

SS: SubsetOf<SP>,

SS: SubsetOf<SP>,

`fn to_subset(&self) -> Option<SS>`

`fn is_in_subset(&self) -> bool`

`fn to_subset_unchecked(&self) -> SS`

`fn from_subset(element: &SS) -> SP`

`impl<SS, SP> SupersetOf<SS> for SP where`

SS: SubsetOf<SP>,

SS: SubsetOf<SP>,

`fn to_subset(&self) -> Option<SS>`

`fn is_in_subset(&self) -> bool`

`unsafe fn to_subset_unchecked(&self) -> SS`

`fn from_subset(element: &SS) -> SP`

`impl<T, U> TryFrom<U> for T where`

U: Into<T>,

[src]

U: Into<T>,

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`

[src]

`impl<T, U> TryInto<U> for T where`

U: TryFrom<T>,

[src]

U: TryFrom<T>,

`type Error = <U as TryFrom<T>>::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`

[src]

`impl<V, T> VZip<V> for T where`

V: MultiLane<T>,

V: MultiLane<T>,