Trait melange::tensor::shape::At

pub trait At<Ax>: StaticShape {
    type Output: Unsigned;
}

Type operator that outputs the dimension at (0-starting) index Ax (a type-level unsigned integer) of the implementor shape.

Associated Types

type Output: Unsigned

Loading content...

Implementations on Foreign Types

impl<Ax> At<Ax> for ATerm

type Output = U1

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

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

Loading content...

Implementors

Loading content...