Struct rust_examples::dependent::HCons

pub struct HCons<N, M, H, T>(pub H, pub T, _, _);

Structure representing a non-empty HList consisting of a head and tail.

N encodes the length of this HList while M = N - 1 is the length of the tail HList.

Tuple Fields

0: H

Head of this HList.

1: T

Tail of this HList which itself is a HList of length M = N - 1.

Implementations

impl<N: Nat, M: Nat + Pred<N>, H, T: HList<M>> HCons<N, M, H, T>

pub fn new(h: H, t: T) -> Self

pub fn head(&self) -> &H

Take an immutable reference to the head element of this HList represented by HCons.

pub fn tail(&self) -> &T

Take an immutable reference to the tail HList contained in this HCons.

Trait Implementations

impl<N, M, H, T> HList<N> for HCons<N, M, H, T> where
    N: Nat,
    M: Nat + Pred<N>,
    T: HList<M>, 

HCons<N, M, _, T> is a HList of length N > 0 if T is a HList of length M = N - 1.

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.