Trait frunk::hlist::HList

pub trait HList: Sized {
    const LEN: usize;

    fn static_len() -> usize;

    fn length(&self) -> u32 { ... }
    fn len(&self) -> usize { ... }
    fn prepend<H>(self, h: H) -> HCons<H, Self> { ... }
}

Typeclass for HList-y behaviour

An HList is a heterogeneous list, one that is statically typed at compile time. In simple terms, it is just an arbitrarily-nested Tuple2.

Required Associated Constants

const LEN: usize

Returns the length of a given HList type without making use of any references, or in fact, any values at all.

Examples

use frunk::prelude::*;

assert_eq!(<Hlist![i32, bool, f32]>::LEN, 3);

Required Methods

fn static_len() -> usize

👎Deprecated since 0.1.31: Please use LEN instead

Returns the length of a given HList type without making use of any references, or in fact, any values at all.

Examples

use frunk::prelude::*;

assert_eq!(<Hlist![i32, bool, f32]>::static_len(), 3);

Provided Methods

fn length(&self) -> u32

👎Deprecated since 0.1.30: Please use len() or static_len() instead.

fn len(&self) -> usize

Returns the length of a given HList

Examples

let h = hlist![1, "hi"];
assert_eq!(h.len(), 2);

fn prepend<H>(self, h: H) -> HCons<H, Self>

Prepends an item to the current HList

Examples

let h1 = hlist![1, "hi"];
let h2 = h1.prepend(true);
let (a, (b, c)) = h2.into_tuple2();
assert_eq!(a, true);
assert_eq!(b, 1);
assert_eq!(c, "hi");

Implementors

impl HList for HNil

const LEN: usize = 0usize

impl<H, T> HList for HCons<H, T>where
    T: HList,

const LEN: usize = 1 + <T as HList>::LEN