Crate macro_tools

Module :: proc_macro_tools

Tools for writing procedural macros.

Basic use-case

#[ cfg( feature = "enabled" ) ]
{
  use macro_tools::exposed::*;

  let code = qt!( core::option::Option< i8, i16, i32, i64 > );
  let tree_type = syn::parse2::< syn::Type >( code ).unwrap();
  let got = typ::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

Re-exports

• pub use super::protected as attr;
• pub use super::protected as container_kind;
• pub use super::protected as diag;
• pub use super::protected as generic_analyze;
• pub use super::protected as generics;
• pub use super::protected as name;
• pub use super::protected as quantifier;
• pub use super::protected as tokens;
• pub use super::protected as typ;
• pub use super::protected as type_struct;

Modules

• attr
  Attributes analyzys and manipulation.
• container_kind
  Determine kind of a container.
• dependency
  Dependencies of the module.
• diag
  Macro helpers.
• exposed
  Exposed namespace of the module.
• generic_analyze
  Analyze generic to provide more information than trivial syntax node.
• generics
  Manipulations on generic parameters.
• name
  Tait to getn name of an Item.
• orphan
  Parented namespace of the module.
• prelude
  Prelude to use essentials: use my_module::prelude::*.
• proc_macro2
  github crates-io docs-rs
• protected
  Protected namespace of the module.
• quantifier
  Quantifiers like Pair and Many.
• quote
  github crates-io docs-rs
• syn
  github crates-io docs-rs
• tokens
  Attributes analyzys and manipulation.
• typ
  Advanced syntax elements.
• type_struct
  Parse structures, like struct { a : i32 }.

Macros

• Token
  A type-macro that expands to the name of the Rust type representation of a given token.
• braced
  Parse a set of curly braces and expose their content to subsequent parsers.
• bracketed
  Parse a set of square brackets and expose their content to subsequent parsers.
• code_diagnostics_str
  Macro for diagnostics purpose to diagnose source code behind it and export it into a string.
• code_print
  Macro for diagnostics purpose to print both syntax tree and source code behind it without syntax tree.
• code_to_str
  Macro to export source code behind a syntax tree into a string.
• custom_keyword
  Define a type that supports parsing and printing a given identifier as if it were a keyword.
• custom_punctuation
  Define a type that supports parsing and printing a multi-character symbol as if it were a punctuation token.
• format_ident
  Formatting macro for constructing Idents.
• parenthesized
  Parse a set of parentheses and expose their content to subsequent parsers.
• parse_macro_input
  Parse the input TokenStream of a macro, triggering a compile error if the tokens fail to parse.
• parse_qt
  Quasi-quotation macro that accepts input like the quote! macro but uses type inference to figure out a return type for those tokens.
• parse_quote
  Quasi-quotation macro that accepts input like the quote! macro but uses type inference to figure out a return type for those tokens.
• parse_quote_spanned
  This macro is parse_quote! + quote_spanned!.
• qt
• quote
• quote_spanned
• return_syn_err
  Macro to generate syn error either with span of a syntax tree element or with default one proc_macro2::Span::call_site().
• syn_err
  Macro to generate syn error either with span of a syntax tree element or with default one proc_macro2::Span::call_site().
• tree_diagnostics_str
  Macro for diagnostics purpose to export both syntax tree and source code behind it into a string.
• tree_print
  Macro for diagnostics purpose to print both syntax tree and source code behind it with syntax tree.

Structs

• AttributesInner
  Attribute which is inner.
• AttributesOuter
  Attribute which is outer.
• Equation
  Represents an equation parsed from a procedural macro input.
• GenericsAnalysis
  Result of generics analyze.
• Many
  Parse as much elements as possible.
• Pair
  Pair of two elements of parsing.
• Tokens
  Tokens is a wrapper around proc_macro2::TokenStream. It is designed to facilitate the parsing and manipulation of token streams within procedural macros.

Traits

• AsMuchAsPossibleNoDelimiter
  Marker saying how to parse several elements of such type in a row.
• GenericsAnalyze
  To analyze generics.
• IntoInterval
  Convert it into canonical interval.
• IterableInterval
  Interval adapter. Interface to interval-like structures.
• Name
  Trait to get name of an syntax element.
• NonIterableInterval
  Interval adapter. Interface to interval-like structures.
• Spanned
  A trait that can provide the Span of the complete contents of a syntax tree node.

Functions

• debug_report_format
  Formats a debugging report for a pair of token streams, showing the original and generated code.
• debug_report_print
  Prints a debugging report for a pair of token streams to the standard output.
• equation
  For attribute like #[former( default = 31 ) ] return key default and value 31, as well as syn::Meta as the last element of result tuple.
• has_debug
  Checks if the given iterator of attributes contains an attribute named debug.
• indentation
  Adds indentation and optional prefix/postfix to each line of the given string.

Type Aliases

• AttributedIdent
  Attribute and ident.
• ParseStream
  Input to a Syn parser function.
• Result
  Result with syn::Error.