Trait melange::tensor::shape::Same

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

Binary trait operator that outputs B1 if the implementor shape is compatible with Rhs i.e. all the dimensions on the respective axes are compatible.

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl Same<ATerm> for ATerm

type Output = B1

impl<S, A, SRhs, ARhs> Same<TArr<SRhs, ARhs>> for TArr<S, A> where
    S: IsEqual<SRhs>,
    A: Same<ARhs>,
    Eq<S, SRhs>: BitAnd<<A as Same<ARhs>>::Output>, 

type Output = And<Eq<S, SRhs>, <A as Same<ARhs>>::Output>

Loading content...

Implementors

Loading content...