Trait dialectic::tuple::HasLength

pub trait HasLength {
    type Length: Unary;
}

Take the length of a type-level list as a unary type-level number.

Associated Types

type Length: Unary

The length of a type-level list.

Loading content...

Implementations on Foreign Types

impl HasLength for ()

type Length = Z

impl<T, Ts: HasLength> HasLength for (T, Ts)

type Length = S<Ts::Length>

Loading content...

Implementors

Loading content...