Trait Variance

pub trait Variance {
    type Rank: Unsigned + Add<B1>;

    // Required method
    fn variance() -> Vec<IndexType>;

    // Provided method
    fn rank() -> usize { ... }
}

Trait identifying a type as representing a tensor variance. It is implemented for CovariantIndex, ContravariantIndex and tuples (Index, Variance).

Required Associated Types

type Rank: Unsigned + Add<B1>

Required Methods

fn variance() -> Vec<IndexType>

Provided Methods

fn rank() -> usize

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Variance for ()

type Rank = UTerm

fn variance() -> Vec<IndexType>

impl<T, U> Variance for (T, U)

where U: Variance, Add1<U::Rank>: Unsigned + Add<B1>, T: TensorIndex,

type Rank = <<U as Variance>::Rank as Add<B1>>::Output

fn variance() -> Vec<IndexType>

Implementors

impl Variance for ContravariantIndex

type Rank = UInt<UTerm, B1>

impl Variance for CovariantIndex

type Rank = UInt<UTerm, B1>