Trait rust_pathtracer::prelude::base::constraint::DimEq

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

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

Implementors

impl<D> DimEq<Dyn, D> for ShapeConstraintwhere D: DimName,

type Representative = D

impl<D> DimEq<D, Dyn> for ShapeConstraintwhere D: DimName,

type Representative = D

impl<D> DimEq<D, D> for ShapeConstraintwhere D: Dim,

type Representative = D