icydb_model_macros/
lib.rs

1//! Module: lib
2//! Responsibility: application-model declaration and helper macros.
3//! Does not own: runtime schema semantics.
4//! Boundary: macro input to generated tokens.
5
6extern crate syn_darling as syn;
7
8mod authoring_types;
9mod case;
10mod crate_path;
11mod r#gen;
12mod helper;
13mod helper_deref;
14mod helper_display;
15mod helper_inner;
16mod helper_newtype;
17mod helper_ops;
18mod imp;
19mod node;
20mod predicate;
21mod trait_kind;
22mod types;
23mod validate;
24
25use crate::{
26    crate_path::{CratePathOverrides, rewrite_generated_paths},
27    node::{Def, ValidateNode},
28};
29use darling::{Error as DarlingError, FromMeta, ast::NestedMeta};
30use quote::quote;
31use syn::{ItemStruct, Visibility, parse_macro_input};
32
33/// Derive `Deref` for a one-field application wrapper.
34#[proc_macro_derive(Deref)]
35pub fn derive_deref(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
36    helper_deref::derive_deref(input.into()).into()
37}
38
39/// Derive `DerefMut` for a one-field application wrapper.
40#[proc_macro_derive(DerefMut)]
41pub fn derive_deref_mut(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
42    helper_deref::derive_deref_mut(input.into()).into()
43}
44
45///
46/// Prelude
47///
48/// Internal proc-macro prelude shared by node parsing and generator code.
49/// Keeps proc-macro essentials and schema helpers in one crate-local bundle.
50/// This is not part of the external derive surface.
51///
52
53mod prelude {
54    pub use crate::authoring_types::{Cardinality, Primitive};
55    pub use crate::{
56        r#gen::{Imp, Implementor},
57        helper::{quote_one, quote_option, quote_slice, to_path, to_str_lit},
58        node::*,
59        trait_kind::{TraitBuilder, TraitKind},
60        types::TraitStrategy,
61    };
62
63    pub const MAX_FIELD_NAME_LEN: usize = 64;
64
65    // proc-macro essentials
66    pub use darling::{Error as DarlingError, FromMeta};
67    pub use proc_macro2::{Span, TokenStream};
68    pub use quote::{ToTokens, format_ident, quote};
69    pub use serde::Deserialize;
70    pub use syn::{Ident, ItemStruct, LitStr, Path};
71}
72
73///
74/// Node Macros
75///
76
77macro_rules! macro_node {
78    ($fn_name:ident, $node_type:ty, $gen_type:path) => {
79        #[proc_macro_attribute]
80        pub fn $fn_name(
81            args: proc_macro::TokenStream,
82            input: proc_macro::TokenStream,
83        ) -> proc_macro::TokenStream {
84            match NestedMeta::parse_meta_list(args.into()) {
85                Ok(mut args) => {
86                    let crate_paths = match CratePathOverrides::extract(&mut args) {
87                        Ok(crate_paths) => crate_paths,
88                        Err(err) => return err.write_errors().into(),
89                    };
90                    let item = parse_macro_input!(input as ItemStruct);
91
92                    // validate
93                    if !matches!(item.vis, Visibility::Public(_)) {
94                        return proc_macro::TokenStream::from(
95                            DarlingError::custom("expected public visibility").write_errors(),
96                        );
97                    }
98
99                    // build def
100                    let debug = item.attrs.iter().any(|attr| attr.path().is_ident("debug"));
101                    let mut node = match <$node_type>::from_list(&args) {
102                        Ok(node) => node,
103                        Err(err) => return proc_macro::TokenStream::from(err.write_errors()),
104                    };
105                    node.def = Def::new(item);
106                    if let Err(err) = node.validate() {
107                        return proc_macro::TokenStream::from(err.write_errors());
108                    }
109
110                    // fatal schema errors
111                    let fatal_errors = node.fatal_errors();
112                    if !fatal_errors.is_empty() {
113                        let tokens: proc_macro2::TokenStream = fatal_errors
114                            .into_iter()
115                            .map(|err| err.to_compile_error())
116                            .collect();
117
118                        return tokens.into();
119                    }
120
121                    // instantiate the generator
122                    let generator = $gen_type(&node);
123                    let q = match rewrite_generated_paths(quote!(#generator), &crate_paths) {
124                        Ok(tokens) => tokens,
125                        Err(err) => return err.write_errors().into(),
126                    };
127
128                    if debug {
129                        quote! { compile_error!(stringify! { #q }); }
130                    } else {
131                        q
132                    }
133                    .into()
134                }
135                Err(e) => proc_macro::TokenStream::from(DarlingError::from(e).write_errors()),
136            }
137        }
138    };
139}
140
141macro_node!(canister, node::Canister, r#gen::CanisterGen);
142macro_node!(entity, node::Entity, r#gen::EntityGen);
143macro_node!(enum_, node::Enum, r#gen::EnumGen);
144macro_node!(list, node::List, r#gen::ListGen);
145macro_node!(map, node::Map, r#gen::MapGen);
146macro_node!(newtype, node::Newtype, r#gen::NewtypeGen);
147macro_node!(record, node::Record, r#gen::RecordGen);
148macro_node!(normalizer, node::Normalizer, r#gen::NormalizerGen);
149macro_node!(set, node::Set, r#gen::SetGen);
150macro_node!(store, node::Store, r#gen::StoreGen);
151macro_node!(tuple, node::Tuple, r#gen::TupleGen);
152macro_node!(validator, node::Validator, r#gen::ValidatorGen);
153
154/// Derive addition for one-field application wrappers.
155#[proc_macro_derive(Add)]
156pub fn derive_add(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
157    finish_helper_derive(helper_ops::derive_add(input.into()))
158}
159
160/// Derive additive assignment for one-field application wrappers.
161#[proc_macro_derive(AddAssign)]
162pub fn derive_add_assign(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
163    finish_helper_derive(helper_ops::derive_add_assign(input.into()))
164}
165
166/// Derive subtraction for one-field application wrappers.
167#[proc_macro_derive(Sub)]
168pub fn derive_sub(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
169    finish_helper_derive(helper_ops::derive_sub(input.into()))
170}
171
172/// Derive subtractive assignment for one-field application wrappers.
173#[proc_macro_derive(SubAssign)]
174pub fn derive_sub_assign(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
175    finish_helper_derive(helper_ops::derive_sub_assign(input.into()))
176}
177
178/// Derive multiplication for one-field application wrappers.
179#[proc_macro_derive(Mul)]
180pub fn derive_mul(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
181    finish_helper_derive(helper_ops::derive_mul(input.into()))
182}
183
184/// Derive multiplicative assignment for one-field application wrappers.
185#[proc_macro_derive(MulAssign)]
186pub fn derive_mul_assign(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
187    finish_helper_derive(helper_ops::derive_mul_assign(input.into()))
188}
189
190/// Derive division for one-field application wrappers.
191#[proc_macro_derive(Div)]
192pub fn derive_div(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
193    finish_helper_derive(helper_ops::derive_div(input.into()))
194}
195
196/// Derive divisive assignment for one-field application wrappers.
197#[proc_macro_derive(DivAssign)]
198pub fn derive_div_assign(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
199    finish_helper_derive(helper_ops::derive_div_assign(input.into()))
200}
201
202/// Derive remainder for one-field application wrappers.
203#[proc_macro_derive(Rem)]
204pub fn derive_rem(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
205    finish_helper_derive(helper_ops::derive_rem(input.into()))
206}
207
208/// Derive iterator summation for one-field application wrappers.
209#[proc_macro_derive(Sum)]
210pub fn derive_sum(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
211    finish_helper_derive(helper_ops::derive_sum(input.into()))
212}
213
214/// Derive display forwarding for one-field application wrappers.
215#[proc_macro_derive(Display)]
216pub fn derive_display(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
217    finish_helper_derive(helper_display::derive_display(input.into()))
218}
219
220/// Derive borrowed and consuming inner access for one-field wrappers.
221#[proc_macro_derive(Inner)]
222pub fn derive_inner(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
223    finish_helper_derive(helper_inner::derive_inner(input.into()))
224}
225
226fn finish_helper_derive(tokens: proc_macro2::TokenStream) -> proc_macro::TokenStream {
227    match rewrite_generated_paths(tokens, &CratePathOverrides::default()) {
228        Ok(tokens) => tokens.into(),
229        Err(err) => err.write_errors().into(),
230    }
231}
icydb_model_macros/lib.rs

icydb_model_macros/
lib.rs
