Struct rust_examples::dependent::HNil

pub struct HNil;

Structure representing the null pointer at the end of each HList.

Alternatively, HNil repreents an empty HList.

Trait Implementations

impl HList<Zero> for HNil

HNil is an empty HList (i.e. of length N = 0).

fn cons<H>(self, x: H) -> HCons<Succ<N>, N, H, Self> where
    Self: Sized, 

Add given element to the front of this HList.

fn conctat<M, L, X, R>(self, _hlist: L) -> R where
    Self: Sized,
    M: Nat + AddEq<N, X>,
    L: HList<M>,
    X: Nat,
    R: HList<X>, 

Concatenate this and given HList.

fn len(&self) -> usize

Analogy to Vec::len.