cgp-macro-lib 0.6.1

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

use proc_macro2::TokenStream;
use quote::quote;
use syn::{Ident, TypeParamBound, parse_quote, parse2};

use crate::derive_getter::{FieldMode, GetterField};

pub fn derive_getter_constraint(
    spec: &GetterField,
    field_symbol: TokenStream,
    field_assoc_type: &Option<Ident>,
) -> syn::Result<TypeParamBound> {
    let field_type = match field_assoc_type {
        Some(field_assoc_type) => parse_quote! { #field_assoc_type },
        None => spec.field_type.clone(),
    };

    let constraint = if spec.field_mut.is_none() {
        if let FieldMode::Slice = spec.field_mode {
            quote! {
                HasField< #field_symbol, Value: AsRef< [ #field_type ] > + 'static >
            }
        } else {
            quote! {
                HasField< #field_symbol, Value = #field_type >
            }
        }
    } else {
        quote! {
            HasFieldMut< #field_symbol, Value = #field_type >
        }
    };

    parse2(constraint)
}