summaryrefslogtreecommitdiffstats
path: root/third_party/rust/darling/examples/automatic_bounds.rs
blob: 8312afed4c168ed1837d13f35250b2d59d68086e (plain)
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
use darling::{FromDeriveInput, FromMeta};

#[derive(FromMeta, PartialEq, Eq, Debug)]
enum Volume {
    Whisper,
    Talk,
    Shout,
}

/// A more complex example showing the ability to skip at a field or struct
/// level while still tracking which type parameters need to be bounded.
/// This can be seen by expanding this example using `cargo expand`.
#[derive(FromMeta)]
#[allow(dead_code)]
enum Emphasis<T> {
    Constant(Volume),
    Variable(darling::util::PathList),
    #[darling(skip)]
    PerPhoneme(Option<T>),
    Strided {
        #[darling(skip)]
        step: Vec<T>,
        #[darling(multiple)]
        volume: Vec<Volume>,
    },
}

#[derive(FromDeriveInput)]
#[darling(attributes(speak))]
struct SpeakingOptions<T, U> {
    max_volume: U,
    #[darling(skip, default)]
    additional_data: Vec<T>,
}

#[derive(Default)]
struct Phoneme {
    #[allow(dead_code)]
    first: String,
}

// This is probably the holy grail for `darling`'s own internal use-case:
// Auto-apply `Default` bound to skipped *field* types in `where` clause.
impl<T, U> Default for SpeakingOptions<T, U>
where
    Vec<T>: Default,
    U: Default,
{
    fn default() -> Self {
        Self {
            max_volume: Default::default(),
            additional_data: Default::default(),
        }
    }
}

fn main() {
    let derive_input = syn::parse_str(
        r#"
        #[derive(Speak)]
        #[speak(max_volume = "shout")]
        enum HtmlElement {
            Div(String)
        }
    "#,
    )
    .unwrap();

    let parsed: SpeakingOptions<Phoneme, Volume> =
        FromDeriveInput::from_derive_input(&derive_input).unwrap();
    assert_eq!(parsed.max_volume, Volume::Shout);
    assert_eq!(parsed.additional_data.len(), 0);
}