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

use crate::TypeName;

macro_rules! impl_primitive {
    ($type:ty) => {
        impl TypeName for $type {
            fn build_type_name<F: FnMut(&'static str)>(mut f: F) {
                f(stringify!($type));
            }
        }
    };
}

impl_primitive!(());
impl_primitive!(bool);
impl_primitive!(i8);
impl_primitive!(i16);
impl_primitive!(i32);
impl_primitive!(i64);
impl_primitive!(i128);
impl_primitive!(u8);
impl_primitive!(u16);
impl_primitive!(u32);
impl_primitive!(u64);
impl_primitive!(u128);
impl_primitive!(f32);
impl_primitive!(f64);
impl_primitive!(char);

macro_rules! impl_tuple {
    ($type:ident,) => {
        impl<$type: TypeName> TypeName for ($type,) {
            fn build_type_name<F: FnMut(&str)>(mut f: F) {
                f("(");
                $type::build_type_name(&mut f);
                f(",)");
            }
        }
    };
    ($first:ident, $($rest:ident,)+) => {
        impl<$first: TypeName, $($rest: TypeName),+> TypeName for ($first, $($rest,)+) {
            fn build_type_name<F: FnMut(&str)>(mut f: F) {
                f("(");
                $first::build_type_name(&mut f);
                $(f(", "); $rest::build_type_name(&mut f);)+
                f(")");
            }
        }

        impl_tuple! { $($rest,)+ }
    };
}

impl_tuple! { T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0, }

#[cfg(not(feature = "std"))]
macro_rules! impl_array {
    () => ();
    ($len:literal, $($rest:literal,)*) => {
        impl<T: TypeName> TypeName for [T; $len] {
            fn build_type_name<F: FnMut(&str)>(mut f: F) {
                f("[");
                T::build_type_name(&mut f);
                f("; ");
                f(stringify!($len));
                f("]");
            }
        }

        impl_array! { $($rest,)* }
    };
}

#[cfg(not(feature = "std"))]
impl_array! { 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0, }

#[cfg(feature = "std")]
impl<T: TypeName, const N: usize> TypeName for [T; N] {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("[");
        T::build_type_name(&mut f);
        f("; ");
        f(N.to_string().as_str());
        f("]");
    }
}

impl TypeName for str {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("str");
    }
}

impl<T: TypeName> TypeName for [T] {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("[");
        T::build_type_name(&mut f);
        f("]");
    }
}

impl<T: TypeName> TypeName for Option<T> {
    fn build_type_name<F: FnMut(&str)>(mut f: F) {
        f("core::option::Option<");
        T::build_type_name(&mut f);
        f(">");
    }
}