tysh 0.1.1

This crate helps with hashing the metadata of a type.
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

#[cfg(all(feature = "alloc", not(feature = "std")))]
use alloc::{boxed::Box, rc::Rc, sync::Arc, vec::Vec};
use core::{
    cell::{Cell, RefCell},
    hash::Hasher,
    mem::MaybeUninit,
    num::Wrapping,
    sync::atomic,
};
#[cfg(feature = "std")]
use std::{
    boxed::Box,
    collections::{BTreeMap, BTreeSet, HashMap, HashSet},
    rc::Rc,
    sync::{Arc, Mutex, RwLock},
};

use crate::TypeHash;

/// This trait is a marker trait for types that have same type hash as `Target`.
pub trait SameTypeHash {
    /// The type that has same type hash as `Self`.
    type Target: TypeHash;
}

impl<T: SameTypeHash> TypeHash for T {
    fn type_hash<H: Hasher>(hasher: &mut H) {
        <Self as SameTypeHash>::Target::type_hash(hasher);
    }
}

macro_rules! impl_same_type_hash {
    ($t:ty, $u:ty) => {
        impl SameTypeHash for $t {
            type Target = $u;
        }
    };
}

impl_same_type_hash!(atomic::AtomicBool, bool);
impl_same_type_hash!(atomic::AtomicI8, i8);
impl_same_type_hash!(atomic::AtomicI16, i16);
impl_same_type_hash!(atomic::AtomicI32, i32);
impl_same_type_hash!(atomic::AtomicI64, i64);
impl_same_type_hash!(atomic::AtomicU8, u8);
impl_same_type_hash!(atomic::AtomicU16, u16);
impl_same_type_hash!(atomic::AtomicU32, u32);
impl_same_type_hash!(atomic::AtomicU64, u64);

impl<T> SameTypeHash for Wrapping<T>
where
    T: TypeHash,
{
    type Target = T;
}

#[cfg(all(feature = "smallvec", feature = "alloc"))]
/// This can be used when the `smallvec` and `alloc` features are enabled.
impl<T> SameTypeHash for smallvec::SmallVec<T>
where
    T: smallvec::Array,
    T::Item: TypeHash,
{
    type Target = Vec<T::Item>;
}

#[cfg(feature = "std")]
/// This can be used when the `std` feature is enabled.
impl<T: TypeHash> SameTypeHash for BTreeSet<T> {
    type Target = HashSet<T>;
}

#[cfg(feature = "std")]
/// This can be used when the `std` feature is enabled.
impl<T: TypeHash, U: TypeHash> SameTypeHash for BTreeMap<T, U> {
    type Target = HashMap<T, U>;
}

impl<T: TypeHash> SameTypeHash for MaybeUninit<T> {
    type Target = T;
}

impl<T: TypeHash> SameTypeHash for RefCell<T> {
    type Target = T;
}

impl<T: TypeHash> SameTypeHash for Cell<T> {
    type Target = T;
}

#[cfg(feature = "alloc")]
/// This can be used when the `alloc` feature is enabled.
impl<T: TypeHash> SameTypeHash for Box<T> {
    type Target = T;
}

#[cfg(feature = "alloc")]
/// This can be used when the `alloc` feature is enabled.
impl<T: TypeHash> SameTypeHash for Rc<T> {
    type Target = T;
}

#[cfg(feature = "alloc")]
/// This can be used when the `alloc` feature is enabled.
impl<T: TypeHash> SameTypeHash for Arc<T> {
    type Target = T;
}

#[cfg(feature = "std")]
impl<T: TypeHash> SameTypeHash for Mutex<T> {
    type Target = T;
}

#[cfg(feature = "std")]
impl<T: TypeHash> SameTypeHash for RwLock<T> {
    type Target = T;
}