Create tuple element accessor traits

Author: brendanzab

src/libcore/prelude.rs

@@ -52,6 +52,8 @@ pub use from_str::{FromStr};
 pub use to_bytes::IterBytes;
 pub use to_str::{ToStr, ToStrConsume};
 pub use tuple::{CopyableTuple, ImmutableTuple, ExtendedTupleOps};
+pub use tuple::{Tuple2, Tuple3, Tuple4, Tuple5, Tuple6, Tuple7, Tuple8, Tuple9};
+pub use tuple::{Tuple10, Tuple11, Tuple12};
 pub use vec::{CopyableVector, ImmutableVector};
 pub use vec::{ImmutableEqVector, ImmutableCopyableVector};
 pub use vec::{OwnedVector, OwnedCopyableVector, MutableVector};

src/libcore/tuple.rs

@@ -246,6 +246,154 @@ impl<A:Ord,B:Ord,C:Ord> Ord for (A, B, C) {
     fn gt(&self, other: &(A, B, C)) -> bool { (*other).lt(&(*self))  }
 }
 
+// Tuple element accessor traits
+
+macro_rules! n_tuple(
+    ($name:ident: $($method:ident : $T:ident),+) => (
+        pub trait $name<$($T),+> {
+            $(fn $method(&self) -> $T;)+
+        }
+    )
+)
+
+n_tuple!(Tuple2: _0:A, _1:B)
+n_tuple!(Tuple3: _0:A, _1:B, _2:C)
+n_tuple!(Tuple4: _0:A, _1:B, _2:C, _3:D)
+n_tuple!(Tuple5: _0:A, _1:B, _2:C, _3:D, _4:E)
+n_tuple!(Tuple6: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F)
+n_tuple!(Tuple7: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G)
+n_tuple!(Tuple8: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G, _7:H)
+n_tuple!(Tuple9: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G, _7:H, _8:I)
+n_tuple!(Tuple10: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G, _7:H, _8:I, _9:J)
+n_tuple!(Tuple11: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G, _7:H, _8:I, _9:J, _10:K)
+n_tuple!(Tuple12: _0:A, _1:B, _2:C, _3:D, _4:E, _5:F, _6:G, _7:H, _8:I, _9:J, _10:K, _11:L)
+
+// Tuple element accessor trait implementations
+
+macro_rules! impl_n_tuple(
+    ($name:ident: $($method:ident -> $T:ident { $accessor:pat => $t:expr })+) => (
+        impl<$($T:Copy),+> $name<$($T),+> for ($($T),+) {
+            $(
+                fn $method(&self) -> $T {
+                    match *self {
+                        $accessor => $t
+                    }
+                }
+            )+
+        }
+    )
+)
+
+impl_n_tuple!(Tuple2:
+    _0 -> A { (a,_) => a }
+    _1 -> B { (_,b) => b }
+)
+
+impl_n_tuple!(Tuple3:
+    _0 -> A { (a,_,_) => a }
+    _1 -> B { (_,b,_) => b }
+    _2 -> C { (_,_,c) => c }
+)
+
+impl_n_tuple!(Tuple4:
+    _0 -> A { (a,_,_,_) => a }
+    _1 -> B { (_,b,_,_) => b }
+    _2 -> C { (_,_,c,_) => c }
+    _3 -> D { (_,_,_,d) => d }
+)
+
+impl_n_tuple!(Tuple5:
+    _0 -> A { (a,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_) => c }
+    _3 -> D { (_,_,_,d,_) => d }
+    _4 -> E { (_,_,_,_,e) => e }
+)
+
+impl_n_tuple!(Tuple6:
+    _0 -> A { (a,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_) => e }
+    _5 -> F { (_,_,_,_,_,f) => f }
+)
+
+impl_n_tuple!(Tuple7:
+    _0 -> A { (a,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g) => g }
+)
+
+impl_n_tuple!(Tuple8:
+    _0 -> A { (a,_,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g,_) => g }
+    _7 -> H { (_,_,_,_,_,_,_,h) => h }
+)
+
+impl_n_tuple!(Tuple9:
+    _0 -> A { (a,_,_,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_,_,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g,_,_) => g }
+    _7 -> H { (_,_,_,_,_,_,_,h,_) => h }
+    _8 -> I { (_,_,_,_,_,_,_,_,i) => i }
+)
+
+impl_n_tuple!(Tuple10:
+    _0 -> A { (a,_,_,_,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_,_,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_,_,_,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g,_,_,_) => g }
+    _7 -> H { (_,_,_,_,_,_,_,h,_,_) => h }
+    _8 -> I { (_,_,_,_,_,_,_,_,i,_) => i }
+    _9 -> J { (_,_,_,_,_,_,_,_,_,j) => j }
+)
+
+impl_n_tuple!(Tuple11:
+    _0 -> A { (a,_,_,_,_,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_,_,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_,_,_,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_,_,_,_,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g,_,_,_,_) => g }
+    _7 -> H { (_,_,_,_,_,_,_,h,_,_,_) => h }
+    _8 -> I { (_,_,_,_,_,_,_,_,i,_,_) => i }
+    _9 -> J { (_,_,_,_,_,_,_,_,_,j,_) => j }
+    _10 -> K { (_,_,_,_,_,_,_,_,_,_,k) => k }
+)
+
+impl_n_tuple!(Tuple12:
+    _0 -> A { (a,_,_,_,_,_,_,_,_,_,_,_) => a }
+    _1 -> B { (_,b,_,_,_,_,_,_,_,_,_,_) => b }
+    _2 -> C { (_,_,c,_,_,_,_,_,_,_,_,_) => c }
+    _3 -> D { (_,_,_,d,_,_,_,_,_,_,_,_) => d }
+    _4 -> E { (_,_,_,_,e,_,_,_,_,_,_,_) => e }
+    _5 -> F { (_,_,_,_,_,f,_,_,_,_,_,_) => f }
+    _6 -> G { (_,_,_,_,_,_,g,_,_,_,_,_) => g }
+    _7 -> H { (_,_,_,_,_,_,_,h,_,_,_,_) => h }
+    _8 -> I { (_,_,_,_,_,_,_,_,i,_,_,_) => i }
+    _9 -> J { (_,_,_,_,_,_,_,_,_,j,_,_) => j }
+    _10 -> K { (_,_,_,_,_,_,_,_,_,_,k,_) => k }
+    _11 -> L { (_,_,_,_,_,_,_,_,_,_,_,l) => l }
+)
+
 #[test]
 fn test_tuple_ref() {
     let x = (~"foo", ~"bar");
@@ -268,3 +416,20 @@ fn test_clone() {
     assert!(a.first() == b.first());
     assert!(a.second() == b.second());
 }
+
+#[test]
+fn test_n_tuple() {
+    let t = (0u8, 1u16, 2u32, 3u64, 4u, 5i8, 6i16, 7i32, 8i64, 9i, 10f32, 11f64);
+    assert_eq!(t._0(), 0u8);
+    assert_eq!(t._1(), 1u16);
+    assert_eq!(t._2(), 2u32);
+    assert_eq!(t._3(), 3u64);
+    assert_eq!(t._4(), 4u);
+    assert_eq!(t._5(), 5i8);
+    assert_eq!(t._6(), 6i16);
+    assert_eq!(t._7(), 7i32);
+    assert_eq!(t._8(), 8i64);
+    assert_eq!(t._9(), 9i);
+    assert_eq!(t._10(), 10f32);
+    assert_eq!(t._11(), 11f64);
+}