use crate::ParseResult;
mod kw {
syn::custom_keyword!(with);
}
const NEWTYPE_NAME: &str = "newtype";
pub(crate) fn parse_input(input: syn::DeriveInput) -> syn::Result<ParseResult> {
let mut res = ParseResult::new(input.ident);
for attr in input.attrs {
if !attr.path().is_ident(NEWTYPE_NAME) {
continue;
}
parse_top_level_meta(attr.meta, &mut res)?;
}
Ok(res)
}
fn parse_top_level_meta(meta: syn::Meta, res: &mut ParseResult) -> syn::Result<()> {
match meta {
syn::Meta::Path(path) => parse_top_level_path(path, res)?,
syn::Meta::List(list) => parse_top_level_list(list, res)?,
syn::Meta::NameValue(name_value) => parse_top_level_name_value(name_value, res)?,
}
Ok(())
}
fn parse_top_level_path(_path: syn::Path, _res: &mut ParseResult) -> syn::Result<()> {
Ok(())
}
fn parse_top_level_list(list: syn::MetaList, res: &mut ParseResult) -> syn::Result<()> {
let args = list.parse_args_with(
syn::punctuated::Punctuated::<syn::Meta, syn::Token![,]>::parse_terminated,
)?;
for meta in &args {
parse_nested_meta(meta, res)?;
}
Ok(())
}
fn parse_top_level_name_value(
_name_value: syn::MetaNameValue,
_res: &mut ParseResult,
) -> syn::Result<()> {
Ok(())
}
fn parse_nested_meta(meta: &syn::Meta, res: &mut ParseResult) -> syn::Result<()> {
let attr_type = AttrType::try_from(meta.path().get_ident())?;
match meta {
syn::Meta::Path(path) => parse_nested_path(attr_type, path, res)?,
syn::Meta::List(list) => parse_nested_list(attr_type, list, res)?,
syn::Meta::NameValue(name_value) => parse_nested_name_value(attr_type, name_value, res)?,
}
Ok(())
}
fn parse_nested_path(
attr_type: AttrType,
path: &syn::Path,
_res: &mut ParseResult,
) -> syn::Result<()> {
match attr_type {
AttrType::From | AttrType::Into | AttrType::PartialEq | AttrType::RangeIter => Err(
syn::Error::new_spanned(path, format!("expected `{attr_type}(...)`")),
),
}
}
fn parse_nested_list(
attr_type: AttrType,
list: &syn::MetaList,
res: &mut ParseResult,
) -> syn::Result<()> {
match attr_type {
AttrType::From => parse_from(list, res),
AttrType::Into => parse_into(list, res),
AttrType::PartialEq => parse_partial_eq(list, res),
AttrType::RangeIter => parse_iter(list, res),
}
}
fn parse_nested_name_value(
_attr_type: AttrType,
_name_value: &syn::MetaNameValue,
_res: &mut ParseResult,
) -> syn::Result<()> {
Ok(())
}
fn parse_from(list: &syn::MetaList, res: &mut ParseResult) -> syn::Result<()> {
let (input_ty, with_expr) = list.parse_args_with(|input: syn::parse::ParseStream| {
let input_ty: syn::Type = input.parse()?;
input.parse::<syn::Token![,]>()?;
input.parse::<kw::with>()?;
input.parse::<syn::Token![=]>()?;
let with_expr: syn::Expr = parse_lit_expr(input.parse()?)?;
Ok((input_ty, with_expr))
})?;
res.from.push((input_ty, with_expr));
Ok(())
}
fn parse_into(list: &syn::MetaList, res: &mut ParseResult) -> syn::Result<()> {
let (output_ty, with_expr) = list.parse_args_with(|input: syn::parse::ParseStream| {
let output_ty: syn::Type = input.parse()?;
input.parse::<syn::Token![,]>()?;
input.parse::<kw::with>()?;
input.parse::<syn::Token![=]>()?;
let with_expr: syn::Expr = parse_lit_expr(input.parse()?)?;
Ok((output_ty, with_expr))
})?;
res.into.push((output_ty, with_expr));
Ok(())
}
fn parse_partial_eq(list: &syn::MetaList, res: &mut ParseResult) -> syn::Result<()> {
let (other_ty, with_expr) = list.parse_args_with(|input: syn::parse::ParseStream| {
let other_ty: syn::Type = input.parse()?;
input.parse::<syn::Token![,]>()?;
input.parse::<kw::with>()?;
input.parse::<syn::Token![=]>()?;
let with_expr: syn::Expr = parse_lit_expr(input.parse()?)?;
Ok((other_ty, with_expr))
})?;
res.partial_eq.push((other_ty, with_expr));
Ok(())
}
fn parse_iter(list: &syn::MetaList, res: &mut ParseResult) -> syn::Result<()> {
let inner_ty = list.parse_args_with(|input: syn::parse::ParseStream| {
let inner_ty: syn::Type = input.parse()?;
Ok(inner_ty)
})?;
res.range_iter = Some(inner_ty);
Ok(())
}
#[derive(Debug, PartialEq)]
enum AttrType {
From,
Into,
PartialEq,
RangeIter,
}
impl std::fmt::Display for AttrType {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
match self {
Self::From => f.write_str("from"),
Self::Into => f.write_str("into"),
Self::PartialEq => f.write_str("partial_eq"),
Self::RangeIter => f.write_str("range_iter"),
}
}
}
impl TryFrom<Option<&syn::Ident>> for AttrType {
type Error = syn::Error;
fn try_from(value: Option<&syn::Ident>) -> Result<Self, Self::Error> {
match value {
Some(i) if i == "from" => Ok(Self::From),
Some(i) if i == "into" => Ok(Self::Into),
Some(i) if i == "partial_eq" => Ok(Self::PartialEq),
Some(i) if i == "range_iter" => Ok(Self::RangeIter),
_ => Err(syn::Error::new_spanned(
value,
"Error matching attribute: expected one of \
`newtype`, `from`, `into`, `partial_eq`, `range_iter`",
)),
}
}
}
fn parse_lit_expr(expr: syn::Expr) -> syn::Result<syn::Expr> {
match expr {
syn::Expr::Lit(syn::ExprLit {
lit: syn::Lit::Str(s),
..
}) => s.parse::<syn::Expr>(),
expr => Ok(expr),
}
}