typle 0.13.0

Generic tuple bounds and transformations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

// Implement the Hash trait for tuples, equivalent to:
// https://github.com/rust-lang/rust/blob/be69926a731/library/core/src/hash/mod.rs#L870-L926

use typle::typle;

impl Hash for () {
    #[inline]
    fn hash<H: Hasher>(&self, _state: &mut H) {}
}

#[typle(Tuple for 1..=12)]
impl<T> Hash for T
where
    T: Tuple,   // `T` must be a tuple with 1-12 components.
    T<_>: Hash, // Each component must implement `Hash`.
    T<{ T::LAST }>: ?Sized, // The last component may be unsized.
{
    #[inline]
    fn hash<S: Hasher>(&self, state: &mut S) {
        for typle_index!(i) in 0..T::LEN {
            self[[i]].hash(state);
        }
    }
}