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

// Trait implementations that allow the solver to be gneric over serde_json's `Value`.

use std::borrow::Cow;

use serde_json::map::Map;
pub use serde_json::{Number, Value as Json};

use crate::document::Document;
use crate::value::{AsValue, Object, Value};

impl AsValue for Json {
    #[inline]
    fn as_value(&self) -> Value<'_> {
        match self {
            Self::Null => Value::Null,
            Self::String(s) => Value::String(Cow::Borrowed(s)),
            Self::Number(n) => {
                if n.is_u64() {
                    Value::UInt(n.as_u64().unwrap())
                } else if n.is_i64() {
                    Value::Int(n.as_i64().unwrap())
                } else if n.is_f64() {
                    Value::Float(n.as_f64().unwrap())
                } else {
                    unreachable!()
                }
            }
            Self::Bool(b) => Value::Bool(*b),
            Self::Object(o) => Value::Object(o),
            Self::Array(a) => Value::Array(a),
        }
    }
}

impl Document for Json {
    fn find(&self, key: &str) -> Option<Value> {
        if let Json::Object(o) = self {
            return Object::find(o, key);
        }
        None
    }
}

impl Object for Map<String, Json> {
    #[inline]
    fn get(&self, key: &str) -> Option<Value<'_>> {
        self.get(key).map(|v| v.as_value())
    }

    #[inline]
    fn keys(&self) -> Vec<Cow<'_, str>> {
        self.keys().map(|k| Cow::Borrowed(k.as_str())).collect()
    }

    #[inline]
    fn len(&self) -> usize {
        self.len()
    }
}