cgp-macro-lib 0.7.0

Context-generic programming core component macros implemented as a library.
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
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

use proc_macro2::Span;
use quote::quote;
use syn::spanned::Spanned;
use syn::token::{Brace, Eq, For, Impl};
use syn::{
    Error, Ident, ImplItem, ImplItemConst, ItemImpl, ItemTrait, Path, TraitItem, Visibility, parse2,
};

use crate::derive_component::delegate_fn::derive_delegated_fn_impl;
use crate::derive_component::delegate_type::derive_delegate_type_impl;
use crate::parse::DeriveDelegateSpec;

pub fn derive_delegate_impl(
    provider_trait: &ItemTrait,
    spec: &DeriveDelegateSpec,
) -> syn::Result<ItemImpl> {
    let provider_trait_ident = &provider_trait.ident;

    let components_ident = Ident::new("__Components__", Span::call_site());
    let delegate_ident = Ident::new("__Delegate__", Span::call_site());

    let wrapper_ident = &spec.wrapper;
    let use_delegate_params = &spec.params;

    let generics = {
        let mut generics = provider_trait.generics.clone();

        generics.params.push(parse2(quote!( #components_ident ))?);
        generics.params.push(parse2(quote!( #delegate_ident ))?);

        let where_clause = generics.make_where_clause();

        where_clause.predicates.push(parse2(quote! {
            #components_ident: DelegateComponent<
                ( #use_delegate_params ),
                Delegate = #delegate_ident,
            >
        })?);

        let type_generics = provider_trait.generics.split_for_impl().1;

        where_clause.predicates.push(parse2(quote! {
            #delegate_ident : #provider_trait_ident #type_generics
        })?);

        generics
    };

    let (_, type_generics, _) = provider_trait.generics.split_for_impl();

    let trait_path: Path = parse2(quote!( #provider_trait_ident #type_generics ))?;

    let mut impl_items: Vec<ImplItem> = Vec::new();

    for trait_item in provider_trait.items.iter() {
        match trait_item {
            TraitItem::Fn(trait_fn) => {
                let impl_fn = derive_delegated_fn_impl(&trait_fn.sig, &quote!( #delegate_ident ))?;

                impl_items.push(ImplItem::Fn(impl_fn))
            }
            TraitItem::Type(trait_type) => {
                let type_name = &trait_type.ident;

                let type_generics = trait_type.generics.split_for_impl().1;

                let impl_type = derive_delegate_type_impl(
                    trait_type,
                    parse2(quote!(
                        #delegate_ident :: #type_name #type_generics
                    ))?,
                );

                impl_items.push(ImplItem::Type(impl_type));
            }
            TraitItem::Const(trait_item_const) => {
                let const_ident = &trait_item_const.ident;
                let (_, type_generics, _) = trait_item_const.generics.split_for_impl();

                let impl_expr = parse2(quote! {
                    #delegate_ident :: #const_ident #type_generics
                })?;

                let impl_item_const = ImplItemConst {
                    attrs: trait_item_const.attrs.clone(),
                    vis: Visibility::Inherited,
                    defaultness: None,
                    const_token: trait_item_const.const_token,
                    ident: trait_item_const.ident.clone(),
                    generics: trait_item_const.generics.clone(),
                    colon_token: trait_item_const.colon_token,
                    ty: trait_item_const.ty.clone(),
                    eq_token: Eq(Span::call_site()),
                    expr: impl_expr,
                    semi_token: trait_item_const.semi_token,
                };

                impl_items.push(ImplItem::Const(impl_item_const));
            }
            _ => {
                return Err(Error::new(
                    trait_item.span(),
                    format!("unsupported trait item: {trait_item:?}"),
                ));
            }
        }
    }

    let provider_type = parse2(quote!(#wrapper_ident < #components_ident >))?;

    let item = ItemImpl {
        attrs: provider_trait.attrs.clone(),
        defaultness: None,
        unsafety: provider_trait.unsafety,
        impl_token: Impl::default(),
        generics,
        trait_: Some((None, trait_path, For::default())),
        self_ty: Box::new(provider_type),
        brace_token: Brace::default(),
        items: impl_items,
    };

    Ok(item)
}