Adding `tuple_set` library as a dependency

Run this command in a terminal, in your project's directory:

cargo add tuple_set

To add it manually, edit your project's Cargo.toml file and add to the [dependencies] section:

tuple_set = "0.1.3"

The tuple_set library will be automatically available globally. Read the tuple_set library documentation.

Back to the crate overview.

Readme

Tuple Set

Ergonomic utilities for working with stable Rust tuples by unique type, not by position.

When implementing generic traits, you often care about a type inside a tuple rather than its position. The location may differ across tuple types and may not even be knowable. Tuple Set allows you to operate on tuple values by type when that type appears exactly once.

Fully no_std compatible
Zero dependencies
Works with tuples up to 64 elements (feature-gating can extend this)
Supports duplicated types in the same tuple as long as the target type is unique

Example

use tuple_set::TupleSet;

let mut tuple = (42i32, "hello", None::<&str>, "world", 3.14f64);

// Replace the i32 by type
assert!(tuple.set(100i32).is_none());
assert_eq!(tuple.0, 100);

// Make the world cruel
assert!(tuple.set(Some("cruel")).is_none());
assert_eq!(tuple.2, Some("cruel"));

// Count occurrences by type
assert_eq!(tuple.count::<&str>(), 2);
assert_eq!(tuple.count::<i32>(), 1);
assert_eq!(tuple.count::<bool>(), 0);

// Mutate by type
tuple.map(|x: &mut f64| *x *= 2.0);

// Get a reference by type
assert_eq!(*tuple.get::<f64>().unwrap(), 6.28);

Why this crate exists

Rust tuples are lightweight heterogeneous containers that are very useful in trait-based designs. Modifying an item by position can be cumbersome:

The position may differ across tuple types
Trait implementations cannot rely on tuple layout details
Exposing indexes couples abstractions to layout

Tuple Set lets you express intent in terms of type, leaving layout free to vary. This preserves abstraction and enables ergonomic generic designs.

Behavior and safety

Tuple Set enforces that a target type must appear exactly once in the tuple. Operations behave as follows:

Occurrences of target type	Behavior
Exactly one	Operation succeeds
Zero or multiple matches	Returns `Err` or `None`

Unchecked variants of most methods are provided for cases where correctness is guaranteed by the caller. These exist because fully verifying correctness at compile time would require trait specialization.

Rust trait specialization is not stable and does not appear likely to stabilize soon: https://github.com/rust-lang/rust/issues/31844

Until specialization is stabilized, Tuple Set offers a practical tradeoff: ergonomic, safe, and still performant.

License

MIT License

Adding tuple_set library as a dependency

Adding `tuple_set` library as a dependency