init4_from_env_derive/
lib.rs

1use proc_macro::TokenStream as Ts;
2use proc_macro2::TokenStream;
3use quote::quote;
4use syn::{DeriveInput, parse_macro_input};
5
6mod field;
7use field::Field;
8
9/// This macro generates an implementation of the `FromEnv` trait for a struct.
10/// See the documenetation in init4_bin_base for more details.
11#[proc_macro_derive(FromEnv, attributes(from_env))]
12pub fn derive(input: Ts) -> Ts {
13    let input = parse_macro_input!(input as DeriveInput);
14
15    if !matches!(input.data, syn::Data::Struct(_)) {
16        syn::Error::new(
17            input.ident.span(),
18            "FromEnv can only be derived for structs",
19        )
20        .to_compile_error();
21    };
22
23    let syn::Data::Struct(data) = &input.data else {
24        unreachable!()
25    };
26
27    let crate_name = input
28        .attrs
29        .iter()
30        .find(|attr| attr.path().is_ident("from_env"))
31        .and_then(|attr| attr.parse_args::<syn::Path>().ok())
32        .unwrap_or_else(|| syn::parse_str::<syn::Path>("::init4_bin_base").unwrap());
33
34    let tuple_like = matches!(data.fields, syn::Fields::Unnamed(_));
35
36    if matches!(data.fields, syn::Fields::Unit) {
37        syn::Error::new(
38            input.ident.span(),
39            "FromEnv can only be derived for structs with fields",
40        )
41        .to_compile_error();
42    }
43
44    let fields = match &data.fields {
45        syn::Fields::Named(fields) => fields.named.iter().map(Field::try_from),
46        syn::Fields::Unnamed(fields) => fields.unnamed.iter().map(Field::try_from),
47        syn::Fields::Unit => unreachable!(),
48    };
49
50    let fields = match fields.collect::<Result<Vec<_>, _>>() {
51        Ok(fields) => fields,
52        Err(err) => {
53            return err.to_compile_error().into();
54        }
55    };
56
57    let input = Input {
58        ident: input.ident.clone(),
59        fields,
60        crate_name,
61        tuple_like,
62    };
63
64    input.expand_mod().into()
65}
66
67struct Input {
68    ident: syn::Ident,
69
70    fields: Vec<Field>,
71
72    crate_name: syn::Path,
73
74    tuple_like: bool,
75}
76
77impl Input {
78    fn field_names(&self) -> Vec<syn::Ident> {
79        self.fields
80            .iter()
81            .enumerate()
82            .map(|(idx, field)| field.field_name(idx))
83            .collect()
84    }
85
86    fn instantiate_struct(&self) -> TokenStream {
87        let struct_name = &self.ident;
88        let field_names = self.field_names();
89
90        if self.tuple_like {
91            return quote! {
92                #struct_name(
93                    #(#field_names),*
94                )
95            };
96        }
97
98        quote! {
99            #struct_name {
100                #(#field_names),*
101            }
102        }
103    }
104
105    fn error_ident(&self) -> syn::Ident {
106        let error_name = format!("{}EnvError", self.ident);
107        syn::parse_str::<syn::Ident>(&error_name)
108            .map_err(|_| {
109                syn::Error::new(self.ident.span(), "Failed to parse error ident").to_compile_error()
110            })
111            .unwrap()
112    }
113
114    fn error_variants(&self) -> Vec<TokenStream> {
115        self.fields
116            .iter()
117            .enumerate()
118            .flat_map(|(idx, field)| field.expand_enum_variant(idx))
119            .collect()
120    }
121
122    fn error_variant_displays(&self) -> Vec<TokenStream> {
123        self.fields
124            .iter()
125            .enumerate()
126            .flat_map(|(idx, field)| field.expand_variant_display(idx))
127            .collect::<Vec<_>>()
128    }
129
130    fn expand_variant_sources(&self) -> Vec<TokenStream> {
131        self.fields
132            .iter()
133            .enumerate()
134            .flat_map(|(idx, field)| field.expand_variant_source(idx))
135            .collect::<Vec<_>>()
136    }
137
138    fn item_from_envs(&self) -> Vec<TokenStream> {
139        let error_ident = self.error_ident();
140        self.fields
141            .iter()
142            .enumerate()
143            .map(|(idx, field)| field.expand_item_from_env(&error_ident, idx))
144            .collect()
145    }
146
147    fn expand_error(&self) -> TokenStream {
148        let error_ident = self.error_ident();
149        let struct_name_str = &self.ident.to_string();
150
151        let error_variants = self.error_variants();
152        let error_variant_displays = self.error_variant_displays();
153        let error_variant_sources = self.expand_variant_sources();
154
155        quote! {
156            #[doc = "Generated error type for [`FromEnv`] for"]
157            #[doc = #struct_name_str]
158            #[doc = ". This error type is used to represent errors that occur when trying to create an instance of the struct from environment variables."]
159            #[derive(Debug, PartialEq, Eq, Clone)]
160            pub enum #error_ident {
161                #(#error_variants),*
162            }
163
164            #[automatically_derived]
165            impl ::core::fmt::Display for #error_ident {
166                fn fmt(&self, f: &mut ::core::fmt::Formatter<'_>) -> ::core::fmt::Result {
167                    match self {
168                        #(
169                            #error_variant_displays,
170                        )*
171                    }
172                }
173            }
174
175            #[automatically_derived]
176            impl ::core::error::Error for #error_ident {
177                fn source(&self) -> Option<&(dyn ::core::error::Error + 'static)> {
178                    match self {
179                        #(
180                            #error_variant_sources,
181                        )*
182                    }
183                }
184            }
185        }
186    }
187
188    fn env_item_info(&self) -> Vec<TokenStream> {
189        self.fields
190            .iter()
191            .map(|field| field.expand_env_item_info())
192            .collect()
193    }
194
195    fn expand_impl(&self) -> TokenStream {
196        let env_item_info = self.env_item_info();
197        let struct_name = &self.ident;
198        let error_ident = self.error_ident();
199
200        let item_from_envs = self.item_from_envs();
201        let struct_instantiation = self.instantiate_struct();
202
203        quote! {
204            #[automatically_derived]
205            impl FromEnv for #struct_name {
206                type Error = #error_ident;
207
208                fn inventory() -> ::std::vec::Vec<&'static EnvItemInfo> {
209                    let mut items = ::std::vec::Vec::new();
210                    #(
211                        #env_item_info
212                    )*
213                    items
214                }
215
216                fn from_env() -> ::std::result::Result<Self, FromEnvErr<Self::Error>> {
217                    #(
218                        #item_from_envs
219                    )*
220
221                    ::std::result::Result::Ok(#struct_instantiation)
222                }
223            }
224        }
225    }
226
227    fn expand_mod(&self) -> TokenStream {
228        // let expanded_impl = expand_impl(input);
229        let expanded_error = self.expand_error();
230        let expanded_impl = self.expand_impl();
231        let crate_name = &self.crate_name;
232        let error_ident = self.error_ident();
233
234        let mod_ident =
235            syn::parse_str::<syn::Ident>(&format!("__from_env_impls_{}", self.ident)).unwrap();
236
237        quote! {
238            pub use #mod_ident::#error_ident;
239            mod #mod_ident {
240                use super::*;
241                use #crate_name::utils::from_env::{FromEnv, FromEnvErr, FromEnvVar, EnvItemInfo};
242
243                #expanded_impl
244
245                #expanded_error
246            }
247        }
248    }
249}