Skip to main content

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".

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§