• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Darling
2
3[![Build Status](https://github.com/TedDriggs/darling/workflows/CI/badge.svg)](https://github.com/TedDriggs/darling/actions)
4[![Latest Version](https://img.shields.io/crates/v/darling.svg)](https://crates.io/crates/darling)
5[![Rustc Version 1.56+](https://img.shields.io/badge/rustc-1.56+-lightgray.svg)]
6
7`darling` is a crate for proc macro authors, which enables parsing attributes into structs. It is heavily inspired by `serde` both in its internals and in its API.
8
9# Benefits
10
11-   Easy and declarative parsing of macro input - make your proc-macros highly controllable with minimal time investment.
12-   Great validation and errors, no work required. When users of your proc-macro make a mistake, `darling` makes sure they get error markers at the right place in their source, and provides "did you mean" suggestions for misspelled fields.
13
14# Usage
15
16`darling` provides a set of traits which can be derived or manually implemented.
17
181. `FromMeta` is used to extract values from a meta-item in an attribute. Implementations are likely reusable for many libraries, much like `FromStr` or `serde::Deserialize`. Trait implementations are provided for primitives, some std types, and some `syn` types.
192. `FromDeriveInput` is implemented or derived by each proc-macro crate which depends on `darling`. This is the root for input parsing; it gets access to the identity, generics, and visibility of the target type, and can specify which attribute names should be parsed or forwarded from the input AST.
203. `FromField` is implemented or derived by each proc-macro crate which depends on `darling`. Structs deriving this trait will get access to the identity (if it exists), type, and visibility of the field.
214. `FromVariant` is implemented or derived by each proc-macro crate which depends on `darling`. Structs deriving this trait will get access to the identity and contents of the variant, which can be transformed the same as any other `darling` input.
225. `FromAttributes` is a lower-level version of the more-specific `FromDeriveInput`, `FromField`, and `FromVariant` traits. Structs deriving this trait get a meta-item extractor and error collection which works for any syntax element, including traits, trait items, and functions. This is useful for non-derive proc macros.
23
24## Additional Modules
25
26-   `darling::ast` provides generic types for representing the AST.
27-   `darling::usage` provides traits and functions for determining where type parameters and lifetimes are used in a struct or enum.
28-   `darling::util` provides helper types with special `FromMeta` implementations, such as `IdentList`.
29
30# Example
31
32```rust,ignore
33#[macro_use]
34extern crate darling;
35extern crate syn;
36
37#[derive(Default, FromMeta)]
38#[darling(default)]
39pub struct Lorem {
40    #[darling(rename = "sit")]
41    ipsum: bool,
42    dolor: Option<String>,
43}
44
45#[derive(FromDeriveInput)]
46#[darling(attributes(my_crate), forward_attrs(allow, doc, cfg))]
47pub struct MyTraitOpts {
48    ident: syn::Ident,
49    attrs: Vec<syn::Attribute>,
50    lorem: Lorem,
51}
52```
53
54The above code will then be able to parse this input:
55
56```rust,ignore
57/// A doc comment which will be available in `MyTraitOpts::attrs`.
58#[derive(MyTrait)]
59#[my_crate(lorem(dolor = "Hello", sit))]
60pub struct ConsumingType;
61```
62
63# Attribute Macros
64
65Non-derive attribute macros are supported.
66To parse arguments for attribute macros, derive `FromMeta` on the argument receiver type, then pass `&syn::AttributeArgs` to the `from_list` method.
67This will produce a normal `darling::Result<T>` that can be used the same as a result from parsing a `DeriveInput`.
68
69## Macro Code
70
71```rust,ignore
72use darling::{Error, FromMeta};
73use darling::ast::NestedMeta;
74use syn::ItemFn;
75use proc_macro::TokenStream;
76
77#[derive(Debug, FromMeta)]
78struct MacroArgs {
79    #[darling(default)]
80    timeout_ms: Option<u16>,
81    path: String,
82}
83
84#[proc_macro_attribute]
85pub fn your_attr(args: TokenStream, input: TokenStream) -> TokenStream {
86    let attr_args = match NestedMeta::parse_meta_list(args.into()) {
87        Ok(v) => v,
88        Err(e) => { return TokenStream::from(Error::from(e).write_errors()); }
89    };
90    let _input = syn::parse_macro_input!(input as ItemFn);
91
92    let _args = match MacroArgs::from_list(&attr_args) {
93        Ok(v) => v,
94        Err(e) => { return TokenStream::from(e.write_errors()); }
95    };
96
97    // do things with `args`
98    unimplemented!()
99}
100```
101
102## Consuming Code
103
104```rust,ignore
105use your_crate::your_attr;
106
107#[your_attr(path = "hello", timeout_ms = 15)]
108fn do_stuff() {
109    println!("Hello");
110}
111```
112
113# Features
114
115Darling's features are built to work well for real-world projects.
116
117-   **Defaults**: Supports struct- and field-level defaults, using the same path syntax as `serde`.
118    Additionally, `Option<T>` and `darling::util::Flag` fields are innately optional; you don't need to declare `#[darling(default)]` for those.
119-   **Field Renaming**: Fields can have different names in usage vs. the backing code.
120-   **Auto-populated fields**: Structs deriving `FromDeriveInput` and `FromField` can declare properties named `ident`, `vis`, `ty`, `attrs`, and `generics` to automatically get copies of the matching values from the input AST. `FromDeriveInput` additionally exposes `data` to get access to the body of the deriving type, and `FromVariant` exposes `fields`.
121    -   **Transformation of forwarded attributes**: You can add `#[darling(with=path)]` to the `attrs` field to use a custom function to transform the forwarded attributes before they're provided to your struct. The function signature is `fn(Vec<Attribute>) -> darling::Result<T>`, where `T` is the type you declared for the `attrs` field. Returning an error from this function will propagate with all other parsing errors.
122-   **Mapping function**: Use `#[darling(map="path")]` or `#[darling(and_then="path")]` to specify a function that runs on the result of parsing a meta-item field. This can change the return type, which enables you to parse to an intermediate form and convert that to the type you need in your struct.
123-   **Skip fields**: Use `#[darling(skip)]` to mark a field that shouldn't be read from attribute meta-items.
124-   **Multiple-occurrence fields**: Use `#[darling(multiple)]` on a `Vec` field to allow that field to appear multiple times in the meta-item. Each occurrence will be pushed into the `Vec`.
125-   **Span access**: Use `darling::util::SpannedValue` in a struct to get access to that meta item's source code span. This can be used to emit warnings that point at a specific field from your proc macro. In addition, you can use `darling::Error::write_errors` to automatically get precise error location details in most cases.
126-   **"Did you mean" suggestions**: Compile errors from derived darling trait impls include suggestions for misspelled fields.
127-   **Struct flattening**: Use `#[darling(flatten)]` to remove one level of structure when presenting your meta item to users. Fields that are not known to the parent struct will be forwarded to the `flatten` field.
128
129## Shape Validation
130
131Some proc-macros only work on structs, while others need enums whose variants are either unit or newtype variants.
132Darling makes this sort of validation extremely simple.
133On the receiver that derives `FromDeriveInput`, add `#[darling(supports(...))]` and then list the shapes that your macro should accept.
134
135| Name             | Description                                                               |
136| ---------------- | ------------------------------------------------------------------------- |
137| `any`            | Accept anything                                                           |
138| `struct_any`     | Accept any struct                                                         |
139| `struct_named`   | Accept structs with named fields, e.g. `struct Example { field: String }` |
140| `struct_newtype` | Accept newtype structs, e.g. `struct Example(String)`                     |
141| `struct_tuple`   | Accept tuple structs, e.g. `struct Example(String, String)`               |
142| `struct_unit`    | Accept unit structs, e.g. `struct Example;`                               |
143| `enum_any`       | Accept any enum                                                           |
144| `enum_named`     | Accept enum variants with named fields                                    |
145| `enum_newtype`   | Accept newtype enum variants                                              |
146| `enum_tuple`     | Accept tuple enum variants                                                |
147| `enum_unit`      | Accept unit enum variants                                                 |
148
149Each one is additive, so listing `#[darling(supports(struct_any, enum_newtype))]` would accept all structs and any enum where every variant is a newtype variant.
150
151This can also be used when deriving `FromVariant`, without the `enum_` prefix.
152