Trait melange::tensor::shape::StridedShape

pub unsafe trait StridedShape<Rhs> {
    type Output: StaticShape;
}

Binary type operator that outputs B1 if the implementor shape can be strided to Rhs i.e. all dimensions can be strided to the dimension on the respective axis of Rhs.

This trait adds a further guarantee to StridedShapeDyn 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 requires both shapes to have the same length.

Associated Types

type Output: StaticShape

Loading content...

Implementations on Foreign Types

impl StridedShape<ATerm> for ATerm

type Output = ATerm

impl<S, A, SRhs, ARhs> StridedShape<TArr<SRhs, ARhs>> for TArr<S, A> where
    S: StridedDim<SRhs>,
    A: StridedShape<ARhs>,
    TArr<<S as StridedDim<SRhs>>::Output, <A as StridedShape<ARhs>>::Output>: StaticShape, 

type Output = TArr<<S as StridedDim<SRhs>>::Output, <A as StridedShape<ARhs>>::Output>

Loading content...

Implementors

Loading content...