Trait melange::tensor::shape::Reduction

pub trait Reduction<Ax> {
    type Output;
}

Trait operator that replaces the dimension of the axis having the (0-starting) index Ax (a type-level unsigned integer) with U1.

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl<Ax> Reduction<Ax> for ATerm

type Output = ATerm

impl<Ax, D, Ar> Reduction<Ax> for TArr<D, Ar> where
    Self: Len,
    Length<Self>: Sub<B1>,
    Ax: IsEqual<Sub1<Length<Self>>>,
    Ar: Reduction<Ax>,
    Eq<Ax, Sub1<Length<Self>>>: If<TArr<U1, Ar>, TArr<D, <Ar as Reduction<Ax>>::Output>>, 

type Output = <Eq<Ax, Sub1<Length<Self>>> as If<TArr<U1, Ar>, TArr<D, <Ar as Reduction<Ax>>::Output>>>::Output

Loading content...

Implementors

Loading content...