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
|
use crate::entities::Describe;
pub fn list_to_sentence(lst: &[String]) -> String {
let mut buf = String::with_capacity(
lst.iter()
.map(|e| e.len() + 2usize /* ", " */)
.sum::<usize>()
+ if lst.len() >= 3 {
3usize /* "and" */
} else {
0usize
},
);
match lst.len() {
0 => {}
1 => buf.push_str(&lst[0]),
2 => {
buf.push_str(&lst[0]);
buf.push_str(" and ");
buf.push_str(&lst[1]);
}
_ => {
for desc in &lst[..lst.len() - 1] {
buf.push_str(desc);
buf.push_str(", ");
}
buf.push_str("and ");
buf.push_str(&lst[lst.len() - 1]);
}
}
buf
}
pub fn describe_list<A: Describe>(lst: &[A]) -> String {
list_to_sentence(
&lst.iter().map(|e| e.description()).collect::<Vec<String>>(),
)
}
#[cfg(test)]
mod tests {
use super::*;
use proptest::prelude::*;
use proptest_derive::Arbitrary;
#[derive(Debug, Arbitrary)]
struct Description(String);
impl Describe for Description {
fn description(&self) -> String {
self.0.clone()
}
}
proptest! {
#[test]
fn test_describe_list_includes_all_descriptions(
descriptions: Vec<Description>
) {
let res = describe_list(&descriptions);
for Description(desc) in descriptions {
assert!(res.contains(&desc));
}
}
}
#[test]
fn test_describe_list() {
assert_eq!(
describe_list(&vec![Description("one".to_string())]),
"one".to_string()
);
assert_eq!(
describe_list(&vec![
Description("one".to_string()),
Description("two".to_string())
]),
"one and two".to_string()
);
assert_eq!(
describe_list(&vec![
Description("one".to_string()),
Description("two".to_string()),
Description("three".to_string())
]),
"one, two, and three".to_string()
);
}
}
|