diesel_derives/
valid_grouping.rs
1use proc_macro2::TokenStream;
2use quote::quote;
3use syn::parse_quote;
4use syn::DeriveInput;
5use syn::Result;
6
7use crate::model::Model;
8use crate::util::{ty_for_foreign_derive, wrap_in_dummy_mod};
9
10pub fn derive(mut item: DeriveInput) -> Result<TokenStream> {
11 let model = Model::from_item(&item, true, false)?;
12 let struct_ty = ty_for_foreign_derive(&item, &model)?;
13
14 let type_params = item
15 .generics
16 .type_params()
17 .map(|param| param.ident.clone())
18 .collect::<Vec<_>>();
19
20 for type_param in type_params {
21 let where_clause = item.generics.make_where_clause();
22 where_clause
23 .predicates
24 .push(parse_quote!(#type_param: diesel::expression::ValidGrouping<__GroupByClause>));
25 }
26
27 if model.aggregate {
28 item.generics.params.push(parse_quote!(__GroupByClause));
29 let (impl_generics, _, where_clause) = item.generics.split_for_impl();
30
31 Ok(wrap_in_dummy_mod(quote! {
32 impl #impl_generics diesel::expression::ValidGrouping<__GroupByClause> for #struct_ty
33 #where_clause
34 {
35 type IsAggregate = diesel::expression::is_aggregate::Yes;
36 }
37 }))
38 } else {
39 let mut aggregates = item
40 .generics
41 .type_params()
42 .map(
43 |t| quote!(<#t as diesel::expression::ValidGrouping<__GroupByClause>>::IsAggregate),
44 )
45 .collect::<Vec<_>>()
46 .into_iter();
47
48 let is_aggregate = aggregates
49 .next()
50 .map(|first| {
51 let where_clause = item.generics.make_where_clause();
52 aggregates.fold(first, |left, right| {
53 where_clause.predicates.push(parse_quote!(
54 #left: diesel::expression::MixedAggregates<#right>
55 ));
56 quote!(<#left as diesel::expression::MixedAggregates<#right>>::Output)
57 })
58 })
59 .unwrap_or_else(|| quote!(diesel::expression::is_aggregate::Never));
60
61 item.generics.params.push(parse_quote!(__GroupByClause));
62 let (impl_generics, _, where_clause) = item.generics.split_for_impl();
63
64 Ok(wrap_in_dummy_mod(quote! {
65
66 impl #impl_generics diesel::expression::ValidGrouping<__GroupByClause> for #struct_ty
67 #where_clause
68 {
69 type IsAggregate = #is_aggregate;
70 }
71 }))
72 }
73}