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", so this trait is not object safe.

Implementors

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

where D: DimName,

type Representative = D

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

where D: DimName,

type Representative = D

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

where D: Dim,

type Representative = D