#proc-macro #macro-rules #pattern-matching #procedural

proc-macro-rules

Emulate macro-rules pattern matching in procedural macros

5 unstable releases

0.4.0 Nov 7, 2023
0.2.1 Jan 6, 2019
0.2.0 Jan 6, 2019
0.1.1 Jan 5, 2019
0.1.0 Jan 5, 2019

#67 in Procedural macros

Download history 9752/week @ 2024-07-21 7823/week @ 2024-07-28 7448/week @ 2024-08-04 12033/week @ 2024-08-11 17970/week @ 2024-08-18 23855/week @ 2024-08-25 19874/week @ 2024-09-01 20280/week @ 2024-09-08 15513/week @ 2024-09-15 21475/week @ 2024-09-22 28845/week @ 2024-09-29 17031/week @ 2024-10-06 27557/week @ 2024-10-13 21173/week @ 2024-10-20 23875/week @ 2024-10-27 14105/week @ 2024-11-03

87,302 downloads per month
Used in 75 crates (via deno_ops)

Apache-2.0/MIT

19KB
359 lines

proc-macro-rules

macro_rules-style syntax matching for procedural macros.

This crate is work-in-progress, incomplete, and probably buggy!

Example:

rules!(tokens => {
    ($finish:ident ($($found:ident)*) # [ $($inner:tt)* ] $($rest:tt)*) => {
        for f in found {
            do_something(finish, f, inner, rest[0]);
        }
    }
    (foo $($bar:expr)?) => {
        match bar {
            Some(e) => foo_with_expr(e),
            None => foo_no_expr(),
        }
    }
});

Using proc-macro-rules

Add proc-macro-rules = "0.3.0" (or proc-macro-rules = "0.2.1" for versions between 1.31 and 1.56) to your Cargo.toml.

Import the rules macro with use proc_macro_rules::rules, then use with rules!(tokens => { branches }); where tokens is an expression which evaluates to a TokenStream (such as the argument in the definition of a procedural macro).

Each branch in branches should have the form ( pattern ) => { body } where pattern is a macro-rules-style pattern (using all the same syntax for meta-variables, AST nodes, repetition, etc.) and body is rust code executed when the pattern is matched. Within body, any meta-variables in the pattern are bound to variables of an appropriate type from either the proc_macro2 or syn crates. Where a meta-variable is inside a repetition or option clause, it will be wrapped in a Vec or Option, respectively.

For example, in the first branch in the above example ident has type syn::Ident and inner has type Vec<proc_macro2::TokenTree>.

Building and testing

Use cargo build to build, cargo test --all to test.

Contributing

Contributions are very welcome! It would be great to know things which are missing or incorrect (in general we should have the same behaviour as macro_rules, so anything different is incorrect). Issues, code, docs, tests, and corrections are all welcome.

Dependencies

~270–740KB
~17K SLoC