Trait HasLength
dialectic::tuple
pub trait HasLength { type Length: Unary; }
Take the length of a type-level list as a unary type-level number.
type Length: Unary
The length of a type-level list.
impl HasLength for ()
type Length = Z
impl<T, Ts: HasLength> HasLength for (T, Ts)
type Length = S<Ts::Length>