Trait KeyPathIndexable

pub trait KeyPathIndexable<T>
where
    T: ?Sized,
{
    type Output;

    // Required method
    fn idx(self) -> Self::Output;
}

The trait that powers indexing via key-path. There are not separate traits for move-by-index, mut-ref-by-index, and ref-by-index. Instead, KeyPathIndexable is implemented for T, &T, and &mut T separately.

Required Associated Types

type Output

Required Methods

fn idx(self) -> Self::Output

Implementations on Foreign Types

impl<'t, const N: usize, T> KeyPathIndexable<UsizeKeyPath<N>> for &'t T

where T: Index<usize>,

type Output = &'t <T as Index<usize>>::Output

fn idx(self) -> Self::Output

impl<'t, const N: usize, T> KeyPathIndexable<UsizeKeyPath<N>> for &'t mut T

where T: IndexMut<usize>,

type Output = &'t mut <T as Index<usize>>::Output

fn idx(self) -> Self::Output

impl<const N: usize, T> KeyPathIndexable<UsizeKeyPath<N>> for Vec<T>

A special-cased implementation for move-by-indexing with a Vec, as there is no standard trait to implement such a thing (since Index and IndexMut only allow ref-by-index and mut-ref-by-index, respectively.

type Output = T

fn idx(self) -> Self::Output

Implementors

impl<T1, T2, I> KeyPathIndexable<(T1, T2)> for I

where T2: ?Sized, I: KeyPathIndexable<T2>, <I as KeyPathIndexable<T2>>::Output: KeyPathIndexable<T1>,

type Output = <<I as KeyPathIndexable<T2>>::Output as KeyPathIndexable<T1>>::Output

impl<T, I> KeyPathIndexable<Aggregator<T>> for I

where I: KeyPathIndexable<T>, <I as KeyPathIndexable<T>>::Output: Sized,

type Output = <I as KeyPathIndexable<T>>::Output