Trait typsy::hlist::Access

pub trait Access<T, N>: HList + Sized {
    type Remainder;
    pub fn take(self) -> (T, Self::Remainder);
    pub fn get(&self) -> &T;
    pub fn get_mut(&mut self) -> &mut T;
}

Associated Types

type Remainder

Loading content...

Required methods

pub fn take(self) -> (T, Self::Remainder)

pub fn get(&self) -> &T

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

Loading content...

Implementors

impl<T, R: HList> Access<T, Zero> for Cons<T, R>

type Remainder = R

pub fn take(self) -> (T, Self::Remainder)

pub fn get(&self) -> &T

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

impl<T, U, R: Access<U, N>, N> Access<U, Succ<N>> for Cons<T, R>

type Remainder = Cons<T, R::Remainder>

pub fn take(self) -> (U, Self::Remainder)

pub fn get(&self) -> &U

pub fn get_mut(&mut self) -> &mut U

Loading content...