Trait Has 

pub trait Has<T, Index = ()> {
    // Required methods
    fn get(&self) -> &T;
    fn get_mut(&mut self) -> &mut T;
}

Trait to extract a dependency T using a specific Index.

The Index type (Here or There) guides the compiler to the correct field.

Required Methods

fn get(&self) -> &T

fn get_mut(&mut self) -> &mut T

Implementors

impl<Head, Tail, T, Index> Has<T, There<Index>> for Dep<Head, Tail>

where Tail: Has<T, Index>,

Recursive case: The item is not in Head, look into Tail.

impl<T, Tail> Has<T, Here> for Dep<T, Tail>

Base case: The item matches the Head.