Trait melange::tensor::shape::ReprShape

pub unsafe trait ReprShape<T, Rhs>: Same<Rhs> {
    type Output: NumElements<T> + StaticShape;
}

Type operator that outputs the representative shape of two shapes which is defined as the collection of the representatives of all dimensions.

This trait adds a further guarantee to ReprShapeDyn which is that the output is guaranteed to be static. This means that the two shapes must be coercible: they cannot both contain Dyn on the same axis.

Note that this require both shape to have the same length.

Associated Types

type Output: NumElements<T> + StaticShape

Loading content...

Implementations on Foreign Types

impl<T> ReprShape<T, ATerm> for ATerm

type Output = ATerm

impl<T, S, A, SRhs, ARhs> ReprShape<T, TArr<SRhs, ARhs>> for TArr<S, A> where
    Self: Same<TArr<SRhs, ARhs>>,
    S: ReprDim<SRhs>,
    A: ReprShape<T, ARhs>,
    TArr<<S as ReprDim<SRhs>>::Output, <A as ReprShape<T, ARhs>>::Output>: NumElements<T> + StaticShape, 

type Output = TArr<<S as ReprDim<SRhs>>::Output, <A as ReprShape<T, ARhs>>::Output>

Loading content...

Implementors

Loading content...