Module traits 

Traits describing structural properties of tuple types.

This module defines the public trait surface for reasoning about tuple composition, containment, iteration order, and transformation at the type level.

Invariants

• All traits are zero-sized and impose no runtime cost.
• Trait implementations must reflect tuple structure exactly.
• No trait in this module performs allocation or mutation.

Modules

as_cons_tuple

Conversion to cons-style tuples.

as_ref_tuple

Tuple to tuple of refs.

can_prepend

Tuple element prepending.

cons_tuple

Cons-style tuple representation.

flat

Flattening nested tuples.

has

Indexed tuple access.

has_one_of

Selecting a single matching element.

iter

Iteration over homogeneous tuples.

pair

Access to two-element tuples.

superset

Subset extraction from tuples.