Trait na::base::constraint::DimEq [−][src]
pub trait DimEq<D1, D2> where
D2: Dim,
D1: Dim, { type Representative: Dim; }
Constraints D1
and D2
to be equivalent.
Associated Types
type Representative: Dim
[src]
This is either equal to D1
or D2
, always choosing the one (if any) which is a type-level
constant.
Implementors
impl<D> DimEq<Dynamic, D> for ShapeConstraint where
D: DimName,
[src]
impl<D> DimEq<Dynamic, D> for ShapeConstraint where
D: DimName,
[src]type Representative = D
impl<D> DimEq<D, Dynamic> for ShapeConstraint where
D: DimName,
[src]
impl<D> DimEq<D, Dynamic> for ShapeConstraint where
D: DimName,
[src]type Representative = D
impl<D> DimEq<D, D> for ShapeConstraint where
D: Dim,
[src]
impl<D> DimEq<D, D> for ShapeConstraint where
D: Dim,
[src]