Trait IndexedSource 

pub trait IndexedSource {
    type Item: Copy;

    // Required methods
    fn len(&self) -> usize;
    unsafe fn get_unchecked(&self, i: usize) -> Self::Item;

    // Provided method
    fn is_empty(&self) -> bool { ... }
}

A length-known source supporting unchecked indexed reads.

Implemented for &[T] (with T: Copy) and for LaneZip over two IndexedSources. The kernels in this crate require this trait instead of Iterator so that lane reads carry no inter-iteration data dependency — the autovectorizer treats each lane independently.

Required Associated Types

type Item: Copy

The per-lane item type. Must be Copy so the kernels can pass it through the closure by value without extra moves.

Required Methods

fn len(&self) -> usize

Logical lane count.

unsafe fn get_unchecked(&self, i: usize) -> Self::Item

Read the lane at i without bounds checking.

Safety

i must be strictly less than self.len().

Provided Methods

fn is_empty(&self) -> bool

Returns true when there are no lanes.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T: Copy> IndexedSource for &[T]

type Item = T

fn len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> T

impl<T: Copy> IndexedSource for &mut [T]

type Item = T

fn len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> T

Implementors

impl<A: IndexedSource, B: IndexedSource> IndexedSource for LaneZip<A, B>

type Item = (<A as IndexedSource>::Item, <B as IndexedSource>::Item)

impl<F: Copy, T: Copy> IndexedSource for ReinterpretSink<'_, F, T>

type Item = F