pub trait SameNumberOfRows<D1: Dim, D2: Dim>: DimEq<D1, D2> + DimEq<D2, D1> {
type Representative: Dim;
// Provided method
fn representative(
d1: D1,
d2: D2,
) -> Option<<Self as SameNumberOfRows<D1, D2>>::Representative> { ... }
}Expand description
Constrains D1 and D2 to be equivalent. They are both assumed to be the number of rows of a matrix.
Required Associated Types§
Sourcetype Representative: Dim
type Representative: Dim
This is either equal to D1 or D2, always choosing the one (if any) which is a type-level
constant.
Provided Methods§
Sourcefn 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.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.