From 2ac92dccff56f4957790b05682ca7175b6bd4840 Mon Sep 17 00:00:00 2001
From: Greg Morenz <greg-morenz@droid.cafe>
Date: Fri, 30 May 2025 13:12:13 -0400
Subject: [PATCH] Add support for tuples in Bi/TriHashMap

---
 crates/iddqd/src/bi_hash_map/trait_defs.rs  | 45 +++++++++++++
 crates/iddqd/src/tri_hash_map/trait_defs.rs | 71 +++++++++++++++++++++
 2 files changed, 116 insertions(+)

diff --git a/crates/iddqd/src/bi_hash_map/trait_defs.rs b/crates/iddqd/src/bi_hash_map/trait_defs.rs
index 6692fa6..e2600f3 100644
--- a/crates/iddqd/src/bi_hash_map/trait_defs.rs
+++ b/crates/iddqd/src/bi_hash_map/trait_defs.rs
@@ -82,6 +82,51 @@ pub trait BiHashItem {
     ) -> Self::K2<'short>;
 }
 
+impl<A, B> BiHashItem for (A, B)
+where
+    A: Eq + Hash,
+    B: Eq + Hash,
+{
+    type K1<'a>
+        = &'a A
+    where
+        A: 'a,
+        B: 'a;
+    type K2<'a>
+        = &'a B
+    where
+        A: 'a,
+        B: 'a;
+
+    fn key1(&self) -> Self::K1<'_> {
+        &self.0
+    }
+
+    fn key2(&self) -> Self::K2<'_> {
+        &self.1
+    }
+
+    fn upcast_key1<'short, 'long: 'short>(
+        long: Self::K1<'long>,
+    ) -> Self::K1<'short>
+    where
+        A: 'long,
+        B: 'long,
+    {
+        long
+    }
+
+    fn upcast_key2<'short, 'long: 'short>(
+        long: Self::K2<'long>,
+    ) -> Self::K2<'short>
+    where
+        A: 'long,
+        B: 'long,
+    {
+        long
+    }
+}
+
 macro_rules! impl_for_ref {
     ($type:ty) => {
         impl<'b, T: 'b + ?Sized + BiHashItem> BiHashItem for $type {
diff --git a/crates/iddqd/src/tri_hash_map/trait_defs.rs b/crates/iddqd/src/tri_hash_map/trait_defs.rs
index 378d584..dcd9520 100644
--- a/crates/iddqd/src/tri_hash_map/trait_defs.rs
+++ b/crates/iddqd/src/tri_hash_map/trait_defs.rs
@@ -116,6 +116,77 @@ pub trait TriHashItem {
     ) -> Self::K3<'short>;
 }
 
+impl<A, B, C> TriHashItem for (A, B, C)
+where
+    A: Eq + Hash,
+    B: Eq + Hash,
+    C: Eq + Hash,
+{
+    type K1<'a>
+        = &'a A
+    where
+        A: 'a,
+        B: 'a,
+        C: 'a;
+    type K2<'a>
+        = &'a B
+    where
+        A: 'a,
+        B: 'a,
+        C: 'a;
+    type K3<'a>
+        = &'a C
+    where
+        A: 'a,
+        B: 'a,
+        C: 'a;
+
+    fn key1(&self) -> Self::K1<'_> {
+        &self.0
+    }
+
+    fn key2(&self) -> Self::K2<'_> {
+        &self.1
+    }
+
+    fn key3(&self) -> Self::K3<'_> {
+        &self.2
+    }
+
+    fn upcast_key1<'short, 'long: 'short>(
+        long: Self::K1<'long>,
+    ) -> Self::K1<'short>
+    where
+        A: 'long,
+        B: 'long,
+        C: 'long,
+    {
+        long
+    }
+
+    fn upcast_key2<'short, 'long: 'short>(
+        long: Self::K2<'long>,
+    ) -> Self::K2<'short>
+    where
+        A: 'long,
+        B: 'long,
+        C: 'long,
+    {
+        long
+    }
+
+    fn upcast_key3<'short, 'long: 'short>(
+        long: Self::K3<'long>,
+    ) -> Self::K3<'short>
+    where
+        A: 'long,
+        B: 'long,
+        C: 'long,
+    {
+        long
+    }
+}
+
 macro_rules! impl_for_ref {
     ($type:ty) => {
         impl<'b, T: 'b + ?Sized + TriHashItem> TriHashItem for $type {