Trait ArrayKind

pub trait ArrayKind: Sized {
    type Type<T>;
    type I: Clone + PartialEq + Ord + Debug + One + Zero + Add<Output = Self::I> + Sub<Output = Self::I> + for<'a> Add<&'a Self::Index, Output = Self::Index>;
    type Index: NaturalArray<Self> + Into<Self::Type<Self::I>> + From<Self::Type<Self::I>> + AsRef<Self::Type<Self::I>> + AsMut<Self::Type<Self::I>> + PartialEq;
    type Slice<'a, T: 'a>;
}

Array kinds. For example, super::vec::VecKind is the set of types Vec<T> for all T.

Required Associated Types

type Type<T>

The type of arrays containing elements type T

type I: Clone + PartialEq + Ord + Debug + One + Zero + Add<Output = Self::I> + Sub<Output = Self::I> + for<'a> Add<&'a Self::Index, Output = Self::Index>

The type of index elements. For super::vec::VecKind, this is usize.

type Index: NaturalArray<Self> + Into<Self::Type<Self::I>> + From<Self::Type<Self::I>> + AsRef<Self::Type<Self::I>> + AsMut<Self::Type<Self::I>> + PartialEq

Arrays of indices (isomorphic to Type<I>) must implement NaturalArray

type Slice<'a, T: 'a>

a Slice is a read-only view into another array’s data. For VecKind this is &[T].

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.

Implementors

impl ArrayKind for VecKind

type Type<T> = VecArray<T>

type I = usize

type Index = VecArray<usize>

type Slice<'a, T: 'a> = &'a [T]