Trait melange::tensor::shape::Broadcast

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

Binary trait operator that outputs B1 if the implementor shape can be broadcasted to Rhs. Broadcasting is valid if for all axes:

• dimensions are equal (Dyn is included but runtime check should be done)
• one of the dimensions is U1

Note that this requires both shapes to have the same length.

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl Broadcast<ATerm> for ATerm

type Output = B1

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

type Output = B1

impl<S, A, SRhs, ARhs> Broadcast<TArr<SRhs, ARhs>> for TArr<S, A> where
    S: IsEqual<SRhs> + IsEqual<U1>,
    SRhs: IsEqual<U1>,
    Eq<S, SRhs>: BitOr<Eq<S, U1>>,
    Or<Eq<S, SRhs>, Eq<S, U1>>: BitOr<Eq<SRhs, U1>>,
    A: Broadcast<ARhs>,
    Or<Or<Eq<S, SRhs>, Eq<S, U1>>, Eq<SRhs, U1>>: BitAnd<<A as Broadcast<ARhs>>::Output>, 

type Output = And<Or<Or<Eq<S, SRhs>, Eq<S, U1>>, Eq<SRhs, U1>>, <A as Broadcast<ARhs>>::Output>

Loading content...

Implementors

Loading content...