zhc_utils 0.4.0

Shared utilities for the ZHC compiler
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

/// Returns the type name of a value with module paths trimmed.
///
/// This function behaves like `std::any::type_name_of_val` but removes the
/// module path prefix, returning only the type name itself. For generic types,
/// the generic parameters are preserved. The trimming stops at the first `<`
/// character to handle generic types correctly.
pub fn type_name_of_val<T>(val: &T) -> &str {
    let output = std::any::type_name_of_val(val);
    let mut last_colon_seen = 0;

    for (i, char) in output.char_indices() {
        if char == ':' {
            last_colon_seen = i + 1;
        } else if char == '<' {
            break;
        }
    }

    &output[last_colon_seen..]
}

#[cfg(test)]
mod test {
    use super::type_name_of_val;

    #[test]
    fn test_type_name_of_val_basic_types() {
        let x = 42;
        let y = "hello";
        let z = 3.14;

        let int_type = type_name_of_val(&x);
        let str_type = type_name_of_val(&y);
        let float_type = type_name_of_val(&z);

        assert_eq!(int_type, "i32");
        assert_eq!(str_type, "&str");
        assert_eq!(float_type, "f64");
    }

    #[test]
    fn test_type_name_of_val_generic_type() {
        let v = vec![1, 2, 3];
        let type_name = type_name_of_val(&v);
        assert_eq!(type_name, "Vec<i32>");
    }

    #[test]
    fn test_type_name_of_val_custom_type() {
        struct MyStruct;
        let s = MyStruct;
        let type_name = type_name_of_val(&s);
        assert_eq!(type_name, "MyStruct");
    }
}