Expand description
Helper traits to work with type-level cons-lists.
These are useful when working with macros and traits that need to support arbitrary length type lists, without having to macro generate hundreds of trait implementations for different length tuples.
Rather than using raw tuples type Nil = (); type Cons<T, U> = (T, U); this includes new
nominal types so that we can have safe pin-projection.
Structs§
- Cons
- Prepends an element to the cons-list, somewhat equivalent to the array
[T, ...U]. - Nil
- The terminal element of a cons-list.
Traits§
- Tuple
Cons ToCons - Converts a tuple-based cons-list into one using our nominal types.