darling/
lib.rs

1//! # Darling
2//! Darling is a tool for declarative attribute parsing in proc macro implementations.
3//!
4//!
5//! ## Design
6//! Darling takes considerable design inspiration from [`serde`](https://serde.rs). A data structure that can be
7//! read from any attribute implements `FromMeta` (or has an implementation automatically
8//! generated using `derive`). Any crate can provide `FromMeta` implementations, even one not
9//! specifically geared towards proc-macro authors.
10//!
11//! Proc-macro crates should provide their own structs which implement or derive `FromDeriveInput`,
12//! `FromField`, `FromVariant`, `FromGenerics`, _et alia_ to gather settings relevant to their operation.
13//!
14//! ## Attributes
15//! There are a number of attributes that `darling` exposes to enable finer-grained control over the code
16//! it generates.
17//!
18//! * **Field renaming**: You can use `#[darling(rename="new_name")]` on a field to change the name Darling looks for.
19//!   You can also use `#[darling(rename_all="...")]` at the struct or enum level to apply a casing rule to all fields or variants.
20//! * **Map function**: You can use `#[darling(map="path::to::function")]` to run code on a field before its stored in the struct.
21//! * **Default values**: You can use `#[darling(default)]` at the type or field level to use that type's default value to fill
22//!   in values not specified by the caller.
23//! * **Skipped fields**: You can skip a variant or field using `#[darling(skip)]`. Fields marked with this will fall back to
24//!   `Default::default()` for their value, but you can override that with an explicit default or a value from the type-level default.
25//! * **Custom shorthand**: Use `#[darling(from_word = ...)]` on a struct or enum to override how a simple word is interpreted.
26//!   By default, it is an error for your macro's user to fail to specify the fields of your struct, but with this you can choose to
27//!   instead produce a set of default values. This takes either a path or a closure whose signature matches `FromMeta::from_word`.
28//! * **Custom handling for missing fields**: When a field is not present and `#[darling(default)]` is not used, derived impls will
29//!   call `FromMeta::from_none` on that field's type to try and get the fallback value for the field. Usually, there is not a fallback
30//!   value, so a missing field error is generated. `Option<T: FromMeta>` uses this to make options optional without requiring
31//!   `#[darling(default)]` declarations, and structs and enums can use this themselves with `#[darling(from_none = ...)]`.
32//!   This takes either a path or a closure whose signature matches `FromMeta::from_none`.
33//! * **Generate `syn::parse::Parse` impl**: When deriving `FromMeta`, add `#[darling(derive_syn_parse)]` to also generate an impl
34//!   of the `Parse` trait.
35//!
36//! ## Forwarded Fields
37//! All derivable traits except `FromMeta` support forwarding some fields from the input AST to the derived struct.
38//! These fields are matched up by identifier **before** `rename` attribute values are considered,
39//! allowing you to use their names for your own properties.
40//! The deriving struct is responsible for making sure the types of fields it chooses to declare are compatible with this table.
41//!
42//! A deriving struct is free to include or exclude any of the fields below.
43//!
44//! ### `FromDeriveInput`
45//! |Field name|Type|Meaning|
46//! |---|---|---|
47//! |`ident`|`syn::Ident`|The identifier of the passed-in type|
48//! |`vis`|`syn::Visibility`|The visibility of the passed-in type|
49//! |`generics`|`T: darling::FromGenerics`|The generics of the passed-in type. This can be `syn::Generics`, `darling::ast::Generics`, or any compatible type.|
50//! |`data` (or anything, using `#[darling(with = ...)]`)|`darling::ast::Data`|The body of the passed-in type|
51//! |`attrs`|`Vec<syn::Attribute>` (or anything, using `#[darling(with = ...)]`)|The forwarded attributes from the passed in type. These are controlled using the `forward_attrs` attribute.|
52//!
53//! ### `FromField`
54//! |Field name|Type|Meaning|
55//! |---|---|---|
56//! |`ident`|`Option<syn::Ident>`|The identifier of the passed-in field, or `None` for tuple fields|
57//! |`vis`|`syn::Visibility`|The visibility of the passed-in field|
58//! |`ty`|`syn::Type`|The type of the passed-in field|
59//! |`attrs`|`Vec<syn::Attribute>` (or anything, using `#[darling(with = ...)]`)|The forwarded attributes from the passed in field. These are controlled using the `forward_attrs` attribute.|
60//!
61//! ### `FromTypeParam`
62//! |Field name|Type|Meaning|
63//! |---|---|---|
64//! |`ident`|`syn::Ident`|The identifier of the passed-in type param|
65//! |`bounds`|`Vec<syn::TypeParamBound>`|The bounds applied to the type param|
66//! |`default`|`Option<syn::Type>`|The default type of the parameter, if one exists|
67//! |`attrs`|`Vec<syn::Attribute>` (or anything, using `#[darling(with = ...)]`)|The forwarded attributes from the passed in type param. These are controlled using the `forward_attrs` attribute.|
68//!
69//! ### `FromVariant`
70//! |Field name|Type|Meaning|
71//! |---|---|---|
72//! |`ident`|`syn::Ident`|The identifier of the passed-in variant|
73//! |`discriminant`|`Option<syn::Expr>`|For a variant such as `Example = 2`, the `2`|
74//! |`fields`|`darling::ast::Fields<T> where T: FromField`|The fields associated with the variant|
75//! |`attrs`|`Vec<syn::Attribute>` (or anything, using `#[darling(with = ...)]`)|The forwarded attributes from the passed in variant. These are controlled using the `forward_attrs` attribute.|
76#![warn(rust_2018_idioms)]
77
78#[allow(unused_imports)]
79#[macro_use]
80extern crate darling_macro;
81
82#[doc(hidden)]
83pub use darling_macro::*;
84
85#[doc(inline)]
86pub use darling_core::{
87    FromAttributes, FromDeriveInput, FromField, FromGenericParam, FromGenerics, FromMeta,
88    FromTypeParam, FromVariant,
89};
90
91#[doc(inline)]
92pub use darling_core::{Error, Result};
93
94#[doc(inline)]
95pub use darling_core::{ast, error, usage, util};
96
97// XXX exported so that `ExtractAttribute::extractor` can convert a path into tokens.
98// This is likely to change in the future, so only generated code should depend on this export.
99#[doc(hidden)]
100pub use darling_core::ToTokens;
101
102/// Core/std trait re-exports. This should help produce generated code which doesn't
103/// depend on `std` unnecessarily, and avoids problems caused by aliasing `std` or any
104/// of the referenced types.
105#[doc(hidden)]
106pub mod export {
107    pub use core::convert::{identity, From, Into};
108    pub use core::default::Default;
109    pub use core::iter::IntoIterator;
110    pub use core::option::Option::{self, None, Some};
111    pub use core::result::Result::{self, Err, Ok};
112    pub use darling_core::syn;
113    pub use std::string::ToString;
114    pub use std::vec::Vec;
115
116    pub use crate::ast::NestedMeta;
117}
118
119#[macro_use]
120mod macros_public;