aver_rt/
display.rs

1use crate::AverList;
2
3pub fn aver_display<T: AverDisplay>(val: &T) -> String {
4    val.aver_display()
5}
6
7pub trait AverDisplay {
8    fn aver_display(&self) -> String;
9
10    fn aver_display_inner(&self) -> String {
11        self.aver_display()
12    }
13}
14
15impl AverDisplay for i64 {
16    fn aver_display(&self) -> String {
17        self.to_string()
18    }
19}
20
21impl AverDisplay for f64 {
22    fn aver_display(&self) -> String {
23        self.to_string()
24    }
25}
26
27impl AverDisplay for String {
28    fn aver_display(&self) -> String {
29        self.clone()
30    }
31
32    fn aver_display_inner(&self) -> String {
33        format!("\"{}\"", self)
34    }
35}
36
37impl AverDisplay for bool {
38    fn aver_display(&self) -> String {
39        if *self {
40            "true".to_string()
41        } else {
42            "false".to_string()
43        }
44    }
45}
46
47impl AverDisplay for () {
48    fn aver_display(&self) -> String {
49        "()".to_string()
50    }
51}
52
53impl<T: AverDisplay, E: AverDisplay> AverDisplay for Result<T, E> {
54    fn aver_display(&self) -> String {
55        match self {
56            Ok(v) => format!("Result.Ok({})", v.aver_display_inner()),
57            Err(e) => format!("Result.Err({})", e.aver_display_inner()),
58        }
59    }
60
61    fn aver_display_inner(&self) -> String {
62        self.aver_display()
63    }
64}
65
66impl<T: AverDisplay> AverDisplay for Option<T> {
67    fn aver_display(&self) -> String {
68        match self {
69            Some(v) => format!("Option.Some({})", v.aver_display_inner()),
70            None => "Option.None".to_string(),
71        }
72    }
73
74    fn aver_display_inner(&self) -> String {
75        self.aver_display()
76    }
77}
78
79impl<T: AverDisplay> AverDisplay for Box<T> {
80    fn aver_display(&self) -> String {
81        (**self).aver_display()
82    }
83
84    fn aver_display_inner(&self) -> String {
85        (**self).aver_display_inner()
86    }
87}
88
89impl<T: AverDisplay> AverDisplay for Vec<T> {
90    fn aver_display(&self) -> String {
91        let parts: Vec<String> = self.iter().map(|x| x.aver_display_inner()).collect();
92        format!("[{}]", parts.join(", "))
93    }
94
95    fn aver_display_inner(&self) -> String {
96        self.aver_display()
97    }
98}
99
100impl<T: AverDisplay> AverDisplay for AverList<T> {
101    fn aver_display(&self) -> String {
102        let parts: Vec<String> = self.iter().map(|x| x.aver_display_inner()).collect();
103        format!("[{}]", parts.join(", "))
104    }
105
106    fn aver_display_inner(&self) -> String {
107        self.aver_display()
108    }
109}
110
111impl<K: AverDisplay + Eq + std::hash::Hash + Ord, V: AverDisplay> AverDisplay
112    for std::collections::HashMap<K, V>
113{
114    fn aver_display(&self) -> String {
115        let mut keys: Vec<&K> = self.keys().collect();
116        keys.sort();
117        let parts: Vec<String> = keys
118            .iter()
119            .map(|k| format!("{}: {}", k.aver_display_inner(), self[*k].aver_display_inner()))
120            .collect();
121        format!("{{{}}}", parts.join(", "))
122    }
123
124    fn aver_display_inner(&self) -> String {
125        self.aver_display()
126    }
127}
128
129impl<A: AverDisplay, B: AverDisplay> AverDisplay for (A, B) {
130    fn aver_display(&self) -> String {
131        format!(
132            "({}, {})",
133            self.0.aver_display_inner(),
134            self.1.aver_display_inner()
135        )
136    }
137
138    fn aver_display_inner(&self) -> String {
139        self.aver_display()
140    }
141}
142
143impl<A: AverDisplay, B: AverDisplay, C: AverDisplay> AverDisplay for (A, B, C) {
144    fn aver_display(&self) -> String {
145        format!(
146            "({}, {}, {})",
147            self.0.aver_display_inner(),
148            self.1.aver_display_inner(),
149            self.2.aver_display_inner()
150        )
151    }
152
153    fn aver_display_inner(&self) -> String {
154        self.aver_display()
155    }
156}
aver_rt/display.rs

aver_rt/
display.rs
