Trait melange::tensor::shape::ReprDim

pub unsafe trait ReprDim<Rhs>: IsEqual<Rhs> {
    type Output;
}

Type operator that outputs the representative dimension of two compatible dimensions:

• if both are the same type-level unsigned integers, the representative is this integer,
• if both are Dyn, the representative is Dyn,
• if one is a type-level unsigned integer and the other is Dyn, the representer is the integer.

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl<U, B, V> ReprDim<V> for UInt<U, B> where
    Self: IsEqual<V>, 

type Output = Self

Loading content...

Implementors

impl<V> ReprDim<V> for Dyn where
    Self: IsEqual<V>, 

type Output = V

Loading content...