Trait HList

pub trait HList: Sized {
    const LEN: usize;

    // Required method
    fn static_len() -> usize;

    // Provided methods
    fn length(&self) -> u32 { ... }
    fn len(&self) -> usize { ... }
    fn is_empty(&self) -> bool { ... }
    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 is_empty(&self) -> bool

Returns whether a given HList is empty

Examples

let h = hlist![];
assert!(h.is_empty());

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");

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl HList for HNil

const LEN: usize = 0usize

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

where T: HList,

const LEN: usize