#proc-macro #token-stream #macro #interpolation

tokenstream2-tmpl

Runtime TokenStream interpolation for Rust macros

3 releases

0.1.2 Aug 9, 2024
0.1.1 Jan 26, 2021
0.1.0 Jan 25, 2021

#140 in Procedural macros

Download history 157/week @ 2024-08-11 7/week @ 2024-08-18 15/week @ 2024-08-25 10/week @ 2024-09-01 1/week @ 2024-09-08 142/week @ 2024-09-15 87/week @ 2024-09-22 73/week @ 2024-09-29 38/week @ 2024-10-06 66/week @ 2024-10-13 122/week @ 2024-10-20 114/week @ 2024-10-27 75/week @ 2024-11-03 39/week @ 2024-11-10 13/week @ 2024-11-17 17/week @ 2024-11-24

145 downloads per month
Used in 6 crates (2 directly)

MIT license

19KB
153 lines

tokenstream2-tmpl

githubcrates-iodocs-rsworkflow

This crate is meant to be a complement to quote. Where as quote does quasi-quote interpolations at compile-time, this crate does them at run-time. This is handy for macros receiving templates from client code with markers to be replaced when the macro is run.

Examples

use proc_macro2::TokenStream;
use tokenstream2-tmpl::interpolate;
use quote::ToTokens;
use std::collections::HashMap;
use syn::{Ident, parse_str};

let input: TokenStream = parse_str("let NAME: int = 5;")?;
let expected: TokenStream = parse_str("let age: int = 5;")?;

let mut replacements: HashMap<&str, &dyn ToTokens> = HashMap::new();
let ident = parse_str::<Ident>("age")?;
replacements.insert("NAME", &ident);

let output = interpolate(input, &replacements);
assert_eq!(
    format!("{}", output),
    format!("{}", expected)
);

Here input might be some input to a macro that functions as a template. quote would have tried to expand NAME at the macro's compile-time. tokenstream2-tmpl will expand it at the macro's run-time.

extern crate proc_macro;
use proc_macro2::TokenStream;
use std::collections::HashMap;
use syn::{Ident, parse::{Parse, ParseStream, Result}, parse_macro_input, punctuated::Punctuated, Token};
use tokenstream2-tmpl::{Interpolate, interpolate};
use quote::ToTokens;

/// Create a token for macro using [syn](syn)
/// Type that holds a key and the value it maps to.
/// An acceptable stream will have the following form:
/// ```text
/// key => value
/// ```
struct KeyValue {
    pub key: Ident,
    pub arrow_token: Token![=>],
    pub value: Ident,
}

/// Make KeyValue parsable from a token stream
impl Parse for KeyValue {
    fn parse(input: ParseStream) -> Result<Self> {
        Ok(KeyValue {
            key: input.parse()?,
            arrow_token: input.parse()?,
            value: input.parse()?,
        })
    }
}

/// Make KeyValue interpolatible
impl Interpolate for KeyValue {
    fn interpolate(&self, stream: TokenStream) -> TokenStream {
        let mut replacements: HashMap<_, &dyn ToTokens> = HashMap::new();

        // Replace each "KEY" with the key
        replacements.insert("KEY", &self.key);

        // Replace each "VALUE" with the value
        replacements.insert("VALUE", &self.value);

        interpolate(stream, &replacements)
    }
}

/// Macro to take a list of key-values with a template to expand each key-value
#[proc_macro_attribute]
pub fn map(tokens: proc_macro::TokenStream, template: proc_macro::TokenStream) -> proc_macro::TokenStream {
    // Parse a comma separated list of key-values
    let maps =
        parse_macro_input!(tokens with Punctuated::<KeyValue, Token![,]>::parse_terminated);

    maps.interpolate(template.into()).into()
}

pub fn main() {
    #[map(
        usize => 10,
        isize => -2,
        bool => false,
    )]
    let _: KEY = VALUE;
    // Output:
    // let _: usize = 10;
    // let _: isize = -2;
    // let _: bool = false;
}

License: MIT

Dependencies

~250–700KB
~17K SLoC