Crate macro_tools
source ·Expand description
§Module :: proc_macro_tools
Tools for writing procedural macros.
§Basic use-case
#[ cfg( not( feature = "no_std" ) ) ]
{
use macro_tools::*;
let code = qt!( core::option::Option< i8, i16, i32, i64 > );
let tree_type = syn::parse2::< syn::Type >( code ).unwrap();
let got = type_parameters( &tree_type, 0..=2 );
got.iter().for_each( | e | println!( "{}", qt!( #e ) ) );
/* print :
i8
i16
i32
*/
}
§To add to your project
cargo add proc_macro_tools
§Try out from the repository
git clone https://github.com/Wandalen/wTools
cd wTools
cd examples/macro_tools_trivial
cargo run
Modules§
- Attributes analyzys and manipulation.
- Determine kind of a container.
- Dependencies of the module.
- Macro helpers.
- Exposed namespace of the module.
- Analyze generic to provide more information than trivial syntax node.
- Manipulations on generic parameters.
- Tait to getn name of an Item.
- Parented namespace of the module.
- Prelude to use essentials:
use my_module::prelude::*
. - Protected namespace of the module.
- Quantifiers like Pair and Many.
- Advanced syntax elements.
Macros§
- A type-macro that expands to the name of the Rust type representation of a given token.
- Parse a set of curly braces and expose their content to subsequent parsers.
- Parse a set of square brackets and expose their content to subsequent parsers.
- Macro for diagnostics purpose to diagnose source code behind it and export it into a string.
- Macro for diagnostics purpose to print both syntax tree and source code behind it without syntax tree.
- Macro to export source code behind a syntax tree into a string.
- Define a type that supports parsing and printing a given identifier as if it were a keyword.
- Define a type that supports parsing and printing a multi-character symbol as if it were a punctuation token.
- Formatting macro for constructing
Ident
s. - Parse a set of parentheses and expose their content to subsequent parsers.
- Parse the input TokenStream of a macro, triggering a compile error if the tokens fail to parse.
- Quasi-quotation macro that accepts input like the
quote!
macro but uses type inference to figure out a return type for those tokens. - Quasi-quotation macro that accepts input like the
quote!
macro but uses type inference to figure out a return type for those tokens. - This macro is
parse_quote!
+quote_spanned!
. - Macro to generate syn error either with span of a syntax tree element or with default one
proc_macro2::Span::call_site()
. - Macro to generate syn error either with span of a syntax tree element or with default one
proc_macro2::Span::call_site()
. - Macro for diagnostics purpose to export both syntax tree and source code behind it into a string.
- Macro for diagnostics purpose to print both syntax tree and source code behind it with syntax tree.
Structs§
- Attribute which is inner.
- Attribute which is outer.
- Result of generics analyze.
- Parse as much elements as possible.
- Pair of two elements of parsing.
Enums§
- Kind of container.
Traits§
- Marker saying how to parse several elements of such type in a row.
- To analyze generics.
- Convert it into canonical interval.
- Interval adapter. Interface to interval-like structures.
- Trait to get name of an syntax element.
- Interval adapter. Interface to interval-like structures.
- A trait that can provide the
Span
of the complete contents of a syntax tree node.
Functions§
- For attribute like
#[former( default = 31 ) ]
return keydefault
and value31
, as well as syn::Meta as the last element of result tuple. - Return kind of container specified by type.
- Return kind of container specified by type. Unlike type_container_kind it also understand optional types.
- Return the specified number of parameters of the type.
- Check is the rightmost item of path refering a type is specified type.
Type Aliases§
- Attribute and ident.
- Input to a Syn parser function.
- Result with syn::Error.