imbl-value 0.4.4

A JSON `Value` type built on `imbl`
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

use crate::{InOMap, Value};
use ts_rs::{TypeVisitor, TS};

impl TS for Value {
    type WithoutGenerics = Self;
    fn name() -> String {
        "unknown".to_string()
    }
    fn inline() -> String {
        Self::name()
    }
    fn decl() -> String {
        panic!("Value cannot be declared")
    }
    fn decl_concrete() -> String {
        panic!("Value cannot be declared")
    }
    fn inline_flattened() -> String {
        panic!("Value cannot be flattened")
    }
}

impl<K: TS + Eq + Clone, V: TS + Clone> TS for InOMap<K, V> {
    type WithoutGenerics = InOMap<(), ()>;

    fn ident() -> String {
        panic!()
    }

    fn name() -> String {
        format!("{{ [key in {}]?: {} }}", K::name(), V::name())
    }

    fn inline() -> String {
        format!("{{ [key in {}]?: {} }}", K::inline(), V::inline())
    }

    fn visit_dependencies(v: &mut impl TypeVisitor)
    where
        Self: 'static,
    {
        K::visit_dependencies(v);

        V::visit_dependencies(v);
    }

    fn visit_generics(v: &mut impl TypeVisitor)
    where
        Self: 'static,
    {
        K::visit_generics(v);

        v.visit::<K>();

        V::visit_generics(v);

        v.visit::<V>();
    }

    fn decl() -> String {
        panic!("{} cannot be declared", Self::name())
    }

    fn decl_concrete() -> String {
        panic!("{} cannot be declared", Self::name())
    }

    fn inline_flattened() -> String {
        format!("({{ [key in {}]?: {} }})", K::inline(), V::inline())
    }
}