Trait DimEq 

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

    // Provided method
    fn representative(d1: D1, d2: D2) -> Option<Self::Representative> { ... }
}

Constrains D1 and D2 to be equivalent.

Required 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.

Provided Methods

fn representative(d1: D1, d2: D2) -> Option<Self::Representative>

This constructs a value of type Representative with the correct value

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<D> DimEq<D, D> for ShapeConstraint

where D: Dim,

type Representative = D

impl<D> DimEq<D, Dyn> for ShapeConstraint

where D: DimName,

type Representative = D

impl<D> DimEq<Dyn, D> for ShapeConstraint

where D: DimName,

type Representative = D