Trait melange::tensor::shape::FitIn

pub unsafe trait FitIn<Rhs> {
    type Output;
}

Binary trait operator that outputs B1 if the implementor shape is fits in Rhs i.e. all the dimensions of the implementor are less or equal to the dimanesions on the respective axes of Rhs.

Note than because Dyn is equal to all type-level unsigned integers, it can fit in evrything and everything can fit in it.

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl FitIn<ATerm> for ATerm

type Output = B1

impl<S, A> FitIn<TArr<S, A>> for ATerm

type Output = B1

impl<S, A, SRhs, ARhs> FitIn<TArr<SRhs, ARhs>> for TArr<S, A> where
    S: IsLessOrEqual<SRhs>,
    A: FitIn<ARhs>,
    LeEq<S, SRhs>: BitAnd<<A as FitIn<ARhs>>::Output>, 

type Output = And<LeEq<S, SRhs>, <A as FitIn<ARhs>>::Output>

Loading content...

Implementors

Loading content...