use proc_macro::TokenStream;
use quote::quote;
use syn::{parse_macro_input, DeriveInput};
#[proc_macro_derive(IterState)]
pub fn iter_state_trait_derive(input: TokenStream) -> TokenStream {
let input = parse_macro_input!(input as DeriveInput);
let name = &input.ident;
let generics = &input.generics;
let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
let expanded = quote! {
impl #impl_generics ::iter_solver::IterState for #name #ty_generics #where_clause
where
Self: Clone,
{
type Value = Self;
type Solution = Self;
fn init_from_value(initial_point: Self::Value) -> Self {
initial_point
}
fn to_sol(&self) -> Self::Solution {
<Self as Clone>::clone(self)
}
}
};
TokenStream::from(expanded)
}