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
94
95
96
97

#[doc(hidden)]
#[macro_export]
macro_rules! _basic_types {
    (@expand bool $($tail:tt)+) => {
        $crate::metadata::BasicTypes::BOOL.or($crate::_basic_types!($($tail)+))
    };
    (@expand int $($tail:tt)+) => {
        $crate::metadata::BasicTypes::INTEGER.or($crate::_basic_types!(@expand $($tail)+))
    };
    (@expand float $($tail:tt)+) => {
        $crate::metadata::BasicTypes::FLOAT.or($crate::_basic_types!(@expand $($tail)+))
    };
    (@expand str $($tail:tt)+) => {
        $crate::metadata::BasicTypes::STRING.or($crate::_basic_types!(@expand $($tail)+))
    };
    (@expand array $($tail:tt)+) => {
        $crate::metadata::BasicTypes::ARRAY.or($crate::_basic_types!(@expand $($tail)+))
    };
    (@expand object $($tail:tt)+) => {
        $crate::metadata::BasicTypes::OBJECT.or($crate::_basic_types!(@expand $($tail)+))
    };

    (@expand bool) => {
        $crate::metadata::BasicTypes::BOOL
    };
    (@expand int) => {
        $crate::metadata::BasicTypes::INTEGER
    };
    (@expand float) => {
        $crate::metadata::BasicTypes::FLOAT
    };
    (@expand str) => {
        $crate::metadata::BasicTypes::STRING
    };
    (@expand array) => {
        $crate::metadata::BasicTypes::ARRAY
    };
    (@expand object) => {
        $crate::metadata::BasicTypes::OBJECT
    };

    ($($expecting:tt)+) => {
        $crate::metadata::BasicTypes::raw($crate::_basic_types!(@expand $($expecting)+))
    };
}

/// Constructor of [`Serde`](struct@crate::de::Serde) types / instances.
///
/// The macro accepts a comma-separated list of expected basic types from the following set: `bool`, `int`,
/// `float`, `str`, `array`, `object`. As a shortcut, `Serde![*]` signals to accept any input.
///
/// # Examples
///
/// ```
/// # use serde::{Deserialize, Deserializer, Serialize, Serializer};
/// # use smart_config::{de::Serde, DescribeConfig, DeserializeConfig};
/// #[derive(Debug)]
/// struct ComplexType {
///     // ...
/// }
///
/// impl Serialize for ComplexType {
///     // Complex serialization logic...
/// # fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> {
/// #     unreachable!()
/// # }
/// }
///
/// impl<'de> Deserialize<'de> for ComplexType {
///     // Complex deserialization logic...
/// # fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
/// #     unreachable!()
/// # }
/// }
///
/// #[derive(DescribeConfig, DeserializeConfig)]
/// struct TestConfig {
///     /// Will try to deserialize any integer, string or object delegating
///     /// to the `Deserialize` impl. Will error on other inputs (e.g., arrays).
///     #[config(with = Serde![int, str, object])]
///     complex_param: ComplexType,
///     #[config(with = Serde![*])]
///     anything: serde_json::Value,
/// }
/// ```
#[macro_export]
#[allow(non_snake_case)]
macro_rules! Serde {
    (*) => {
        $crate::de::Serde::<{ $crate::metadata::BasicTypes::ANY.raw() }>
    };
    ($($expecting:tt),+ $(,)?) => {
        $crate::de::Serde::<{ $crate::_basic_types!($($expecting)+) }>
    };
}

pub use Serde;