Trait diffgeom::tensors::Concat

pub trait Concat<T: Variance>: Variance {
type Output: Variance;
}

Operator trait used for concatenating two variances.

Used in tensor outer product.

Associated Types

type Output: Variance

Loading content...

Implementations on Foreign Types

impl<T> Concat<T> for () where
    T: TensorIndex, 

type Output = T

impl<T, U, V> Concat<V> for (T, U) where
    T: TensorIndex,
    V: TensorIndex,
    U: Variance + Concat<V>,
    <U as Concat<V>>::Output: Variance,
    Add1<<U as Variance>::Rank>: Unsigned + Add<B1>,
    Add1<<Joined<U, V> as Variance>::Rank>: Unsigned + Add<B1>, 

type Output = (T, <U as Concat<V>>::Output)

impl<T, U, V, W> Concat<(V, W)> for (T, U) where
    T: TensorIndex,
    U: Variance + Concat<(V, W)>,
    V: TensorIndex,
    W: Variance,
    Add1<<U as Variance>::Rank>: Unsigned + Add<B1>,
    Add1<<W as Variance>::Rank>: Unsigned + Add<B1>,
    Add1<<Joined<U, (V, W)> as Variance>::Rank>: Unsigned + Add<B1>, 

type Output = (T, Joined<U, (V, W)>)

Loading content...

Implementors

impl<T, U> Concat<U> for T where
    T: TensorIndex,
    U: TensorIndex,
    Add1<<U as Variance>::Rank>: Unsigned + Add<B1>, 

type Output = (T, U)

impl<T, U, V> Concat<(U, V)> for T where
    T: TensorIndex,
    U: TensorIndex,
    V: Variance,
    Add1<<V as Variance>::Rank>: Unsigned + Add<B1>,
    Add1<Add1<<V as Variance>::Rank>>: Unsigned + Add<B1>, 

type Output = (T, (U, V))

Loading content...