init4_from_env_derive/
lib.rs1use proc_macro::TokenStream as Ts;
2use proc_macro2::TokenStream;
3use quote::quote;
4use syn::{parse_macro_input, DeriveInput};
5
6mod field;
7use field::Field;
8
9#[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_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}