Trait rin::math::base::constraint::SameNumberOfRows

pub trait SameNumberOfRows<D1, D2>: DimEq<D1, D2> + DimEq<D2, D1> where
    D2: Dim,
    D1: Dim, {
    type Representative: Dim;
}

Constraints D1 and D2 to be equivalent. They are both assumed to be the number of rows of a matrix.

Associated Types

type Representative: Dim

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

Loading content...

Implementors

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

type Representative = D

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

type Representative = D

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

type Representative = D

Loading content...