#syn #quote #macro #parse-input #reverse #pattern #parse-stream

macro unquote

A reverse quote macro... that is: A macro to parse input from a ParseStream according to a given pattern.

3 releases

0.0.7 Aug 26, 2023
0.0.6 Dec 4, 2020
0.0.5 Nov 13, 2020

#1969 in Procedural macros

Download history 31/week @ 2024-01-07 89/week @ 2024-01-14 1/week @ 2024-01-21 9/week @ 2024-02-18 56/week @ 2024-02-25 9/week @ 2024-03-03 41/week @ 2024-03-10 42/week @ 2024-03-17

152 downloads per month
Used in 2 crates (via fruit-salad_proc-macro-de…)

MIT/Apache

15KB
155 lines

unquote

Lib.rs Crates.io Docs.rs

Rust 1.45.0 CI Crates.io - License

GitHub open issues open pull requests crev reviews

A reverse quote macro... that is: A macro to parse input from a ParseStream according to a given pattern.

Note: This library is a work in progress. While I don't expect large breaking changes to the syntax, there are missing features and error messages aren't always great yet.

This macro currently requires syn to be available in the current namespace with at least the "extra-traits" and "parsing" features enabled. This should get fixed with the next larger refactor.

Installation

Please use cargo-edit to always add the latest version of this library:

cargo add unquote

Example

use call2_for_syn::call2_strict;
use quote::quote;
use std::error::Error;
use syn::{LitStr, parse::ParseStream};
use unquote::unquote;

fn main() -> Result<(), Box<dyn Error>> {
  // Sample input
  let tokens = quote!(<!-- "Hello!" -->);

  // Analogous to a parser implementation with `syn`:
  fn parser_function(input: ParseStream) -> syn::Result<LitStr> {
    // Declare bindings ahead of time.
    // Rust can usually infer the type.
    let parsed;

    // This uses the ? operator internally -
    // It needs to be inside a `Result`-returning function.
    unquote!(input, <!-- #parsed -->);

    Ok(parsed)
  }

  let parsed = call2_strict(tokens, parser_function)??;
  assert_eq!(parsed.value(), "Hello!");
  Ok(())
}

Implementation Status

(roughly in order of priority)

Tokens
Punct 🗸³
Ident
Literal
Bindings
#binding
#let binding
#do parser_function => binding
#do let parser_function => binding
##-escapes
Groups
()
{}
[]
Variadics¹
#(#binding)?
#(#binding)*
#(#binding),*
#(#binding)+²
#(#binding),+²
Span Captures
#'span
#^'span
#$'span
Positional Bindings...?⁵
#0
Utility Macros
Unquotable-derive⁶
Helpers
Keyword
AnyIdent

¹ Note that all variadics are eager beyond the first TokenTree and only do very shallow speculative parsing! In practice, this means that for example parsing ++ as #(+-)?++ will fail, as the first + "locks in" the optional phrase.

² Not specifically present in quote, but required variadics are great.

³ Currently without distinction regarding combinations like => vs. = > and such. This will change eventually, along with a breaking semver change.

⁴ Denoting Spans as lifetimes is a bit unusual, but nicely highlights them with a different colour.

⁵ This would come in handy when using the macro for example in if let conditions (since the positional bindings would be returned only by value in the macro expression's result), and wouldn't interfere with named bindings. It's definitely more of a bonus feature though, in case it can indeed be added cleanly.

⁶ This should work on structs and implement syn::Parse and a custom trait that checks the first token.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Code of Conduct

Changelog

Versioning

unquote strictly follows Semantic Versioning 2.0.0 with the following exceptions:

  • The minor version will not reset to 0 on major version changes (except for v1).
    Consider it the global feature level.
  • The patch version will not reset to 0 on major or minor version changes (except for v0.1 and v1).
    Consider it the global patch level.

This includes the Rust version requirement specified above.
Earlier Rust versions may be compatible, but this can change with minor or patch releases.

Which versions are affected by features and patches can be determined from the respective headings in CHANGELOG.md.

Dependencies

~335–780KB
~18K SLoC