mentat/syn/macro.cond_reduce.html
2018-08-22 17:04:13 +00:00

188 lines
No EOL
10 KiB
HTML
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="generator" content="rustdoc">
<meta name="description" content="API documentation for the Rust `cond_reduce` macro in crate `syn`.">
<meta name="keywords" content="rust, rustlang, rust-lang, cond_reduce">
<title>syn::cond_reduce - Rust</title>
<link rel="stylesheet" type="text/css" href="../normalize.css">
<link rel="stylesheet" type="text/css" href="../rustdoc.css" id="mainThemeStyle">
<link rel="stylesheet" type="text/css" href="../dark.css">
<link rel="stylesheet" type="text/css" href="../main.css" id="themeStyle">
<script src="../storage.js"></script>
</head>
<body class="rustdoc macro">
<!--[if lte IE 8]>
<div class="warning">
This old browser is unsupported and will most likely display funky
things.
</div>
<![endif]-->
<nav class="sidebar">
<div class="sidebar-menu">&#9776;</div>
<p class='location'><a href='index.html'>syn</a></p><script>window.sidebarCurrent = {name: 'cond_reduce', ty: 'macro', relpath: ''};</script><script defer src="sidebar-items.js"></script>
</nav>
<div class="theme-picker">
<button id="theme-picker" aria-label="Pick another theme!">
<img src="../brush.svg" width="18" alt="Pick another theme!">
</button>
<div id="theme-choices"></div>
</div>
<script src="../theme.js"></script>
<nav class="sub">
<form class="search-form js-only">
<div class="search-container">
<input class="search-input" name="search"
autocomplete="off"
placeholder="Click or press S to search, ? for more options…"
type="search">
</div>
</form>
</nav>
<section id='main' class="content">
<h1 class='fqn'><span class='in-band'>Macro <a href='index.html'>syn</a>::<wbr><a class="macro" href=''>cond_reduce</a></span><span class='out-of-band'><span id='render-detail'>
<a id="toggle-all-docs" href="javascript:void(0)" title="collapse all docs">
[<span class='inner'>&#x2212;</span>]
</a>
</span><a class='srclink' href='../src/syn/parsers.rs.html#390-406' title='goto source code'>[src]</a></span></h1>
<pre class="rust macro">
<span class="macro">macro_rules</span><span class="macro">!</span> <span class="ident">cond_reduce</span> {
(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">cond</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">submac</span>:<span class="macro">ident</span><span class="macro">!</span>( $(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">args</span>:<span class="ident">tt</span>)<span class="op">*</span> )) <span class="op">=&gt;</span> { ... };
(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">cond</span>:<span class="ident">expr</span>) <span class="op">=&gt;</span> { ... };
(<span class="macro-nonterminal">$</span><span class="macro-nonterminal">i</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">cond</span>:<span class="ident">expr</span>, <span class="macro-nonterminal">$</span><span class="macro-nonterminal">f</span>:<span class="ident">expr</span>) <span class="op">=&gt;</span> { ... };
}</pre>
<div class='docblock'><p>Execute a parser only if a condition is met, otherwise fail to parse.</p>
<p>This is typically used inside of <a href="macro.option.html"><code>option!</code></a> or <a href="macro.alt.html"><code>alt!</code></a>.</p>
<ul>
<li><strong>Syntax:</strong> <code>cond_reduce!(CONDITION, THING)</code></li>
<li><strong>Output:</strong> <code>THING</code></li>
</ul>
<p>The subparser may be omitted in which case it defaults to <a href="macro.epsilon.html"><code>epsilon!</code></a>.</p>
<ul>
<li><strong>Syntax:</strong> <code>cond_reduce!(CONDITION)</code></li>
<li><strong>Output:</strong> <code>()</code></li>
</ul>
<pre class="rust rust-example-rendered">
<span class="attribute">#[<span class="ident">macro_use</span>]</span>
<span class="kw">extern</span> <span class="kw">crate</span> <span class="ident">syn</span>;
<span class="kw">use</span> <span class="ident">syn</span>::<span class="ident">Type</span>;
<span class="kw">use</span> <span class="ident">syn</span>::<span class="ident">token</span>::<span class="ident">Paren</span>;
<span class="kw">use</span> <span class="ident">syn</span>::<span class="ident">punctuated</span>::<span class="ident">Punctuated</span>;
<span class="kw">use</span> <span class="ident">syn</span>::<span class="ident">synom</span>::<span class="ident">Synom</span>;
<span class="doccomment">/// Parses a possibly variadic function signature.</span>
<span class="doccomment">///</span>
<span class="doccomment">/// Example: `fn(A) or `fn(A, B, C, ...)` or `fn(...)`</span>
<span class="doccomment">/// Rejected: `fn(A, B...)`</span>
<span class="kw">struct</span> <span class="ident">VariadicFn</span> {
<span class="ident">fn_token</span>: <span class="macro">Token</span><span class="macro">!</span>[<span class="kw">fn</span>],
<span class="ident">paren_token</span>: <span class="ident">Paren</span>,
<span class="ident">types</span>: <span class="ident">Punctuated</span><span class="op">&lt;</span><span class="ident">Type</span>, <span class="macro">Token</span><span class="macro">!</span>[,]<span class="op">&gt;</span>,
<span class="ident">variadic</span>: <span class="prelude-ty">Option</span><span class="op">&lt;</span><span class="macro">Token</span><span class="macro">!</span>[...]<span class="op">&gt;</span>,
}
<span class="comment">// Example of using `cond_reduce!` inside of `option!`.</span>
<span class="kw">impl</span> <span class="ident">Synom</span> <span class="kw">for</span> <span class="ident">VariadicFn</span> {
<span class="macro">named</span><span class="macro">!</span>(<span class="ident">parse</span> <span class="op">-&gt;</span> <span class="self">Self</span>, <span class="macro">do_parse</span><span class="macro">!</span>(
<span class="ident">fn_token</span>: <span class="macro">keyword</span><span class="macro">!</span>(<span class="kw">fn</span>) <span class="op">&gt;&gt;</span>
<span class="ident">params</span>: <span class="macro">parens</span><span class="macro">!</span>(<span class="macro">do_parse</span><span class="macro">!</span>(
<span class="ident">types</span>: <span class="macro">call</span><span class="macro">!</span>(<span class="ident">Punctuated</span>::<span class="ident">parse_terminated</span>) <span class="op">&gt;&gt;</span>
<span class="comment">// Allow, but do not require, an ending `...` but only if the</span>
<span class="comment">// preceding list of types is empty or ends with a trailing comma.</span>
<span class="ident">variadic</span>: <span class="macro">option</span><span class="macro">!</span>(<span class="macro">cond_reduce</span><span class="macro">!</span>(<span class="ident">types</span>.<span class="ident">empty_or_trailing</span>(), <span class="macro">punct</span><span class="macro">!</span>(...))) <span class="op">&gt;&gt;</span>
(<span class="ident">types</span>, <span class="ident">variadic</span>)
)) <span class="op">&gt;&gt;</span>
({
<span class="kw">let</span> (<span class="ident">paren_token</span>, (<span class="ident">types</span>, <span class="ident">variadic</span>)) <span class="op">=</span> <span class="ident">params</span>;
<span class="ident">VariadicFn</span> {
<span class="ident">fn_token</span>,
<span class="ident">paren_token</span>,
<span class="ident">types</span>,
<span class="ident">variadic</span>,
}
})
));
}</pre>
<p><em>This macro is available if Syn is built with the <code>&quot;parsing&quot;</code> feature.</em></p>
</div></section>
<section id='search' class="content hidden"></section>
<section class="footer"></section>
<aside id="help" class="hidden">
<div>
<h1 class="hidden">Help</h1>
<div class="shortcuts">
<h2>Keyboard Shortcuts</h2>
<dl>
<dt><kbd>?</kbd></dt>
<dd>Show this help dialog</dd>
<dt><kbd>S</kbd></dt>
<dd>Focus the search field</dd>
<dt><kbd></kbd></dt>
<dd>Move up in search results</dd>
<dt><kbd></kbd></dt>
<dd>Move down in search results</dd>
<dt><kbd></kbd></dt>
<dd>Switch tab</dd>
<dt><kbd>&#9166;</kbd></dt>
<dd>Go to active search result</dd>
<dt><kbd>+</kbd></dt>
<dd>Expand all sections</dd>
<dt><kbd>-</kbd></dt>
<dd>Collapse all sections</dd>
</dl>
</div>
<div class="infos">
<h2>Search Tricks</h2>
<p>
Prefix searches with a type followed by a colon (e.g.
<code>fn:</code>) to restrict the search to a given type.
</p>
<p>
Accepted types are: <code>fn</code>, <code>mod</code>,
<code>struct</code>, <code>enum</code>,
<code>trait</code>, <code>type</code>, <code>macro</code>,
and <code>const</code>.
</p>
<p>
Search functions by type signature (e.g.
<code>vec -> usize</code> or <code>* -> vec</code>)
</p>
</div>
</div>
</aside>
<script>
window.rootPath = "../";
window.currentCrate = "syn";
</script>
<script src="../main.js"></script>
<script defer src="../search-index.js"></script>
</body>
</html>