Module dialectic::tuple

Conversions back and forth between flat tuples and their corresponding inductive list structures.

Internally, this library uses inductive type-level lists, but presents an external interface in terms of tuples, for readability. The traits here convert between the two equivalent representations.

At present, tuples up to size 128 are supported.

Traits

HasLength	Take the length of a type-level list as a unary type-level number.
List	Convert an inductive list structure into its corresponding tuple.
Tuple	Convert a tuple into its corresponding inductive list structure.