clockwork_tuples/traits/
mod.rs

1//! Traits describing structural properties of tuple types.
2//!
3//! This module defines the public trait surface for reasoning about
4//! tuple composition, containment, iteration order, and transformation
5//! at the type level.
6//!
7//! # Invariants
8//! - All traits are zero-sized and impose no runtime cost.
9//! - Trait implementations must reflect tuple structure exactly.
10//! - No trait in this module performs allocation or mutation.
11
12/// Conversion to cons-style tuples.
13pub mod as_cons_tuple;
14/// Tuple to tuple of refs.
15pub mod as_ref_tuple;
16/// Tuple element prepending.
17pub mod can_prepend;
18/// Cons-style tuple representation.
19pub mod cons_tuple;
20/// Flattening nested tuples.
21pub mod flat;
22/// Indexed tuple access.
23pub mod has;
24/// Selecting a single matching element.
25pub mod has_one_of;
26/// Iteration over homogeneous tuples.
27pub mod iter;
28/// Access to two-element tuples.
29pub mod pair;
30/// Subset extraction from tuples.
31pub mod superset;