hlist

Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search

lib.rs:

This crate provides types Nil and Cons<H, T>, which together allow for creating lists consisting of multiple types. The types in the list are present in the type of the list, so that Cons<i32, Cons<i64, Nil>> contains an i32 and an i64. If type T is present exactly once in an HList, it is usually possible to allow the compiler to find the T in the HList by using the Find trait.