GetImpl

Trait GetImpl 

Source
pub trait GetImpl<'a, Input, Index> {
    type Output;

    // Required method
    fn impl_get(input: &'a Input, index: Index) -> Self::Output;
}
Expand description

Implements accessing an vector on vector by type level index.

Required Associated Types§

Required Methods§

Source

fn impl_get(input: &'a Input, index: Index) -> Self::Output

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§

Source§

impl<'a, T, S, Index> GetImpl<'a, Vect<T, S>, Index> for ()
where S: Size, Index: Size, (): GetPrivate<'a, Vect<T, S>, Index, CheckIndexOp<S, Index>> + CheckIndex<S, Index>,

Source§

type Output = <() as GetPrivate<'a, Vect<T, S>, Index, <() as CheckIndex<S, Index>>::Output>>::Output

Source§

fn impl_get(input: &'a Vect<T, S>, index: Index) -> Self::Output

Implementors§