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
use crate::Value;
use serde::ser::{SerializeStruct, SerializeTuple};
use serde::Serialize;
impl Serialize for Value {
#[inline]
fn serialize<S>(&self, serializer: S) -> std::result::Result<S::Ok, S::Error>
where
S: ::serde::Serializer,
{
match *self {
Value::Unit => serializer.serialize_unit(),
Value::Nat0(v) => v.serialize(serializer),
Value::Bool(b) => serializer.serialize_bool(b),
Value::String(ref s) => s.serialize(serializer),
Value::Char(c) => serializer.serialize_char(c as char),
Value::Int(v) => v.serialize(serializer),
Value::Float(v) => v.serialize(serializer),
Value::Option(ref o) => {
if let Some(v) = o {
serializer.serialize_some(v)
} else {
serializer.serialize_none()
}
}
Value::Record(ref m) => {
let mut map = serializer.serialize_struct("", m.len())?;
for (_k, v) in m {
map.serialize_field("", v)?;
}
map.end()
}
Value::Tuple(ref vals) => {
let mut t = serializer.serialize_tuple(vals.len())?;
for v in vals {
t.serialize_element(v)?;
}
t.end()
}
Value::Sum {
name: _,
ref index,
ref value,
} => serializer.serialize_newtype_variant("", *index as u32, "", value), Value::Polyvar {
name: _,
ref tag,
ref value,
} => serializer.serialize_newtype_variant("", *tag as u32, "", value), Value::List(ref v) => v.serialize(serializer),
}
}
}