Files
tdesktop/Telegram/ThirdParty/range-v3/doc/gh-pages/group__trait.html
allhaileris afb81b8278
Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
Close stale issues and PRs / stale (push) Has been cancelled
init
2026-02-16 15:50:16 +03:00

315 lines
25 KiB
HTML

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.4"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>Range-v3: Trait</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtreedata.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(document).ready(function() { init_search(); });
/* @license-end */
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">Range-v3
</div>
<div id="projectbrief">Range algorithms, views, and actions for the Standard Library</div>
</td>
<td> <div id="MSearchBox" class="MSearchBoxInactive">
<span class="left">
<img id="MSearchSelect" src="search/mag_sel.svg"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
alt=""/>
<input type="text" id="MSearchField" value="Search" accesskey="S"
onfocus="searchBox.OnSearchFieldFocus(true)"
onblur="searchBox.OnSearchFieldFocus(false)"
onkeyup="searchBox.OnSearchFieldChange(event)"/>
</span><span class="right">
<a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.svg" alt=""/></a>
</span>
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.4 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search",'Search','.html');
/* @license-end */
</script>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
<div id="nav-tree">
<div id="nav-tree-contents">
<div id="nav-sync" class="sync"></div>
</div>
</div>
<div id="splitbar" style="-moz-user-select:none;"
class="ui-resizable-handle">
</div>
</div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(document).ready(function(){initNavTree('group__trait.html',''); initResizable(); });
/* @license-end */
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<div class="header">
<div class="summary">
<a href="#groups">Modules</a> &#124;
<a href="#nested-classes">Classes</a> &#124;
<a href="#typedef-members">Typedefs</a> &#124;
<a href="#var-members">Variables</a> </div>
<div class="headertitle"><div class="title">Trait<div class="ingroups"><a class="el" href="group__meta.html">Meta</a></div></div></div>
</div><!--header-->
<div class="contents">
<p>Trait invocation/composition.
<a href="#details">More...</a></p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="groups" name="groups"></a>
Modules</h2></td></tr>
<tr class="memitem:group__invocation"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="group__invocation.html">Invocation</a></td></tr>
<tr class="memdesc:group__invocation"><td class="mdescLeft">&#160;</td><td class="mdescRight">Trait invocation. <br /></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:group__composition"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="group__composition.html">Composition</a></td></tr>
<tr class="memdesc:group__composition"><td class="mdescLeft">&#160;</td><td class="mdescRight">Trait composition. <br /></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:group__lazy__trait"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="group__lazy__trait.html">lazy</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="nested-classes" name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structmeta_1_1id.html">meta::id&lt; T &gt;</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">A trait that always returns its argument <code>T</code>. It is also an invocable that always returns <code>T</code>. <a href="structmeta_1_1id.html#details">More...</a><br /></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="typedef-members" name="typedef-members"></a>
Typedefs</h2></td></tr>
<tr class="memitem:gaf366475425d8cc039017a378caceeb89"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
<tr class="memitem:gaf366475425d8cc039017a378caceeb89"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="group__trait.html#gaf366475425d8cc039017a378caceeb89">meta::alignof_</a> = <a class="el" href="group__integral.html#ga92ba0e8ad97a32c34cec51aa6d4f8679">meta::size_t</a>&lt; alignof(T)&gt;</td></tr>
<tr class="memdesc:gaf366475425d8cc039017a378caceeb89"><td class="mdescLeft">&#160;</td><td class="mdescRight">An alias that computes the alignment required for any instance of the type <code>T</code>. <a href="group__trait.html#gaf366475425d8cc039017a378caceeb89">More...</a><br /></td></tr>
<tr class="separator:gaf366475425d8cc039017a378caceeb89"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:gadfb965e2b47e00d52a75819dc6ef783d"><td class="memTemplParams" colspan="2"><a id="gadfb965e2b47e00d52a75819dc6ef783d" name="gadfb965e2b47e00d52a75819dc6ef783d"></a>
template&lt;typename T &gt; </td></tr>
<tr class="memitem:gadfb965e2b47e00d52a75819dc6ef783d"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::id_t</b> = <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt; <a class="el" href="structmeta_1_1id.html">id</a>&lt; T &gt; &gt;</td></tr>
<tr class="memdesc:gadfb965e2b47e00d52a75819dc6ef783d"><td class="mdescLeft">&#160;</td><td class="mdescRight">An alias for type <code>T</code>. Useful in non-deduced contexts. <br /></td></tr>
<tr class="separator:gadfb965e2b47e00d52a75819dc6ef783d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ga5984b470adf01d45dc9dc3bdbd082210"><td class="memTemplParams" colspan="2">template&lt;typename T , template&lt; typename... &gt; class C&gt; </td></tr>
<tr class="memitem:ga5984b470adf01d45dc9dc3bdbd082210"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="group__trait.html#ga5984b470adf01d45dc9dc3bdbd082210">meta::is</a> = <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt; detail::is_&lt; T, C &gt; &gt;</td></tr>
<tr class="memdesc:ga5984b470adf01d45dc9dc3bdbd082210"><td class="mdescLeft">&#160;</td><td class="mdescRight">is <a href="group__trait.html#ga5984b470adf01d45dc9dc3bdbd082210">More...</a><br /></td></tr>
<tr class="separator:ga5984b470adf01d45dc9dc3bdbd082210"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ga4b40c77b363544448bfb6d8bbaa37425"><td class="memTemplParams" colspan="2"><a id="ga4b40c77b363544448bfb6d8bbaa37425" name="ga4b40c77b363544448bfb6d8bbaa37425"></a>
template&lt;typename T &gt; </td></tr>
<tr class="memitem:ga4b40c77b363544448bfb6d8bbaa37425"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::is_callable</b> = <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt; detail::is_callable_&lt; T &gt; &gt;</td></tr>
<tr class="memdesc:ga4b40c77b363544448bfb6d8bbaa37425"><td class="mdescLeft">&#160;</td><td class="mdescRight">An alias for <code>std::true_type</code> if <code>T::invoke</code> exists and names a class template or alias template; otherwise, it's an alias for <code>std::false_type</code>. <br /></td></tr>
<tr class="separator:ga4b40c77b363544448bfb6d8bbaa37425"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ga25e4339bc310103f33650978a26ee552"><td class="memTemplParams" colspan="2"><a id="ga25e4339bc310103f33650978a26ee552" name="ga25e4339bc310103f33650978a26ee552"></a>
template&lt;typename T &gt; </td></tr>
<tr class="memitem:ga25e4339bc310103f33650978a26ee552"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::is_valid</b> = detail::is_valid_&lt; T &gt;</td></tr>
<tr class="memdesc:ga25e4339bc310103f33650978a26ee552"><td class="mdescLeft">&#160;</td><td class="mdescRight">For testing whether a deferred computation will succeed in a <code>let</code> or a <code>lambda</code>. <br /></td></tr>
<tr class="separator:ga25e4339bc310103f33650978a26ee552"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:gad34f270fe54eeffd113b91f56af6cd6f"><td class="memTemplParams" colspan="2">template&lt;typename... Ts&gt; </td></tr>
<tr class="memitem:gad34f270fe54eeffd113b91f56af6cd6f"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="group__trait.html#gad34f270fe54eeffd113b91f56af6cd6f">meta::lambda</a> = detail::lambda_&lt; <a class="el" href="structmeta_1_1list.html">list</a>&lt; Ts... &gt; &gt;</td></tr>
<tr class="memdesc:gad34f270fe54eeffd113b91f56af6cd6f"><td class="mdescLeft">&#160;</td><td class="mdescRight">For creating anonymous Invocables. <a href="group__trait.html#gad34f270fe54eeffd113b91f56af6cd6f">More...</a><br /></td></tr>
<tr class="separator:gad34f270fe54eeffd113b91f56af6cd6f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ga8135043cacd3026f062390fc4842d21f"><td class="memTemplParams" colspan="2">template&lt;typename... As&gt; </td></tr>
<tr class="memitem:ga8135043cacd3026f062390fc4842d21f"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="group__trait.html#ga8135043cacd3026f062390fc4842d21f">meta::let</a> = <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt; <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt; detail::let_&lt; As... &gt; &gt; &gt;</td></tr>
<tr class="memdesc:ga8135043cacd3026f062390fc4842d21f"><td class="mdescLeft">&#160;</td><td class="mdescRight">A lexically scoped expression with local variables. <a href="group__trait.html#ga8135043cacd3026f062390fc4842d21f">More...</a><br /></td></tr>
<tr class="separator:ga8135043cacd3026f062390fc4842d21f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:gad54adef1c420be333e5027f7c63dc5db"><td class="memTemplParams" colspan="2"><a id="gad54adef1c420be333e5027f7c63dc5db" name="gad54adef1c420be333e5027f7c63dc5db"></a>
template&lt;invocable Fn&gt; </td></tr>
<tr class="memitem:gad54adef1c420be333e5027f7c63dc5db"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::not_fn</b> = <a class="el" href="structmeta_1_1compose__.html">compose</a>&lt; <a class="el" href="structmeta_1_1quote.html">quote</a>&lt; <a class="el" href="group__logical.html#ga72884249179b0b22a27cc0709b75f23b">not_</a> &gt;, Fn &gt;</td></tr>
<tr class="memdesc:gad54adef1c420be333e5027f7c63dc5db"><td class="mdescLeft">&#160;</td><td class="mdescRight">Logically negate the result of invocable <code>Fn</code>. <br /></td></tr>
<tr class="separator:gad54adef1c420be333e5027f7c63dc5db"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:gac14214187fc011fb2c0f719a034bb730"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
<tr class="memitem:gac14214187fc011fb2c0f719a034bb730"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="group__trait.html#gac14214187fc011fb2c0f719a034bb730">meta::sizeof_</a> = <a class="el" href="group__integral.html#ga92ba0e8ad97a32c34cec51aa6d4f8679">meta::size_t</a>&lt; sizeof(T)&gt;</td></tr>
<tr class="memdesc:gac14214187fc011fb2c0f719a034bb730"><td class="mdescLeft">&#160;</td><td class="mdescRight">An alias that computes the size of the type <code>T</code>. <a href="group__trait.html#gac14214187fc011fb2c0f719a034bb730">More...</a><br /></td></tr>
<tr class="separator:gac14214187fc011fb2c0f719a034bb730"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:gaea4e08158f9e882faf65f8f73b85d1c3"><td class="memTemplParams" colspan="2"><a id="gaea4e08158f9e882faf65f8f73b85d1c3" name="gaea4e08158f9e882faf65f8f73b85d1c3"></a>
template&lt;typename... &gt; </td></tr>
<tr class="memitem:gaea4e08158f9e882faf65f8f73b85d1c3"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::void_</b> = void</td></tr>
<tr class="memdesc:gaea4e08158f9e882faf65f8f73b85d1c3"><td class="mdescLeft">&#160;</td><td class="mdescRight">An alias for <code>void</code>. <br /></td></tr>
<tr class="separator:gaea4e08158f9e882faf65f8f73b85d1c3"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="var-members" name="var-members"></a>
Variables</h2></td></tr>
<tr class="memitem:gad44e618cd853bf9c253add6b93234302"><td class="memTemplParams" colspan="2"><a id="gad44e618cd853bf9c253add6b93234302" name="gad44e618cd853bf9c253add6b93234302"></a>
template&lt;typename , template&lt; typename... &gt; class&gt; </td></tr>
<tr class="memitem:gad44e618cd853bf9c253add6b93234302"><td class="memTemplItemLeft" align="right" valign="top">constexpr bool&#160;</td><td class="memTemplItemRight" valign="bottom"><b>meta::is_v</b> = false</td></tr>
<tr class="memdesc:gad44e618cd853bf9c253add6b93234302"><td class="mdescLeft">&#160;</td><td class="mdescRight">is_v Test whether a type <code>T</code> is an instantiation of class template <code>C</code>. <br /></td></tr>
<tr class="separator:gad44e618cd853bf9c253add6b93234302"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<p >Trait invocation/composition. </p>
<h2 class="groupheader">Typedef Documentation</h2>
<a id="gaf366475425d8cc039017a378caceeb89" name="gaf366475425d8cc039017a378caceeb89"></a>
<h2 class="memtitle"><span class="permalink"><a href="#gaf366475425d8cc039017a378caceeb89">&#9670;&nbsp;</a></span>alignof_</h2>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;typename T &gt; </div>
<table class="memname">
<tr>
<td class="memname">using <a class="el" href="group__trait.html#gaf366475425d8cc039017a378caceeb89">meta::alignof_</a> = typedef <a class="el" href="group__integral.html#ga92ba0e8ad97a32c34cec51aa6d4f8679">meta::size_t</a>&lt;alignof(T)&gt;</td>
</tr>
</table>
</div><div class="memdoc">
<p><code>#include &lt;<a class="el" href="meta_8hpp.html">meta/meta.hpp</a>&gt;</code></p>
<p>An alias that computes the alignment required for any instance of the type <code>T</code>. </p>
<dl class="section user"><dt>Complexity</dt><dd><code>O(1)</code>. </dd></dl>
</div>
</div>
<a id="ga5984b470adf01d45dc9dc3bdbd082210" name="ga5984b470adf01d45dc9dc3bdbd082210"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ga5984b470adf01d45dc9dc3bdbd082210">&#9670;&nbsp;</a></span>is</h2>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;typename T , template&lt; typename... &gt; class C&gt; </div>
<table class="memname">
<tr>
<td class="memname">using <a class="el" href="group__trait.html#ga5984b470adf01d45dc9dc3bdbd082210">meta::is</a> = typedef <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt;detail::is_&lt;T, C&gt; &gt;</td>
</tr>
</table>
</div><div class="memdoc">
<p><code>#include &lt;<a class="el" href="meta_8hpp.html">meta/meta.hpp</a>&gt;</code></p>
<p>is </p>
<p >Test whether a type <code>T</code> is an instantiation of class template <code>C</code>. </p>
</div>
</div>
<a id="gad34f270fe54eeffd113b91f56af6cd6f" name="gad34f270fe54eeffd113b91f56af6cd6f"></a>
<h2 class="memtitle"><span class="permalink"><a href="#gad34f270fe54eeffd113b91f56af6cd6f">&#9670;&nbsp;</a></span>lambda</h2>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;typename... Ts&gt; </div>
<table class="memname">
<tr>
<td class="memname">using <a class="el" href="group__trait.html#gad34f270fe54eeffd113b91f56af6cd6f">meta::lambda</a> = typedef detail::lambda_&lt;<a class="el" href="structmeta_1_1list.html">list</a>&lt;Ts...&gt; &gt;</td>
</tr>
</table>
</div><div class="memdoc">
<p><code>#include &lt;<a class="el" href="meta_8hpp.html">meta/meta.hpp</a>&gt;</code></p>
<p>For creating anonymous Invocables. </p>
<div class="fragment"><div class="line"><span class="keyword">using </span>L = <a class="code hl_typedef" href="group__trait.html#gad34f270fe54eeffd113b91f56af6cd6f">lambda&lt;_a, _b, std::pair&lt;_b, std::pair&lt;_a, _a&gt;</a>&gt;&gt;;</div>
<div class="line"><span class="keyword">using </span>P = <a class="code hl_typedef" href="group__invocation.html#gac5c75197d5412d032f662b81e1a37e22">invoke&lt;L, int, short&gt;</a>;</div>
<div class="line"><span class="keyword">static_assert</span>(std::is_same_v&lt;P, std::pair&lt;short, std::pair&lt;int, int&gt;&gt;&gt;, <span class="stringliteral">&quot;&quot;</span>);</div>
<div class="ttc" id="agroup__invocation_html_gac5c75197d5412d032f662b81e1a37e22"><div class="ttname"><a href="group__invocation.html#gac5c75197d5412d032f662b81e1a37e22">meta::invoke</a></div><div class="ttdeci">typename Fn::template invoke&lt; Args... &gt; invoke</div><div class="ttdoc">Evaluate the invocable Fn with the arguments Args.</div><div class="ttdef"><b>Definition:</b> meta.hpp:541</div></div>
<div class="ttc" id="agroup__trait_html_gad34f270fe54eeffd113b91f56af6cd6f"><div class="ttname"><a href="group__trait.html#gad34f270fe54eeffd113b91f56af6cd6f">meta::lambda</a></div><div class="ttdeci">detail::lambda_&lt; list&lt; Ts... &gt; &gt; lambda</div><div class="ttdoc">For creating anonymous Invocables.</div><div class="ttdef"><b>Definition:</b> meta.hpp:3592</div></div>
</div><!-- fragment -->
</div>
</div>
<a id="ga8135043cacd3026f062390fc4842d21f" name="ga8135043cacd3026f062390fc4842d21f"></a>
<h2 class="memtitle"><span class="permalink"><a href="#ga8135043cacd3026f062390fc4842d21f">&#9670;&nbsp;</a></span>let</h2>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;typename... As&gt; </div>
<table class="memname">
<tr>
<td class="memname">using <a class="el" href="group__trait.html#ga8135043cacd3026f062390fc4842d21f">meta::let</a> = typedef <a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt;<a class="el" href="group__invocation.html#ga08e2193149605769f6052795ff0a87b1">_t</a>&lt;detail::let_&lt;As...&gt; &gt;&gt;</td>
</tr>
</table>
</div><div class="memdoc">
<p><code>#include &lt;<a class="el" href="meta_8hpp.html">meta/meta.hpp</a>&gt;</code></p>
<p>A lexically scoped expression with local variables. </p>
<div class="fragment"><div class="line"><span class="keyword">template</span> &lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> L&gt;</div>
<div class="line"><span class="keyword">using </span>find_index_ = <a class="code hl_typedef" href="group__trait.html#ga8135043cacd3026f062390fc4842d21f">let</a>&lt;</div>
<div class="line"> <a class="code hl_struct" href="structmeta_1_1var.html">var&lt;_a, L&gt;</a>,</div>
<div class="line"> <a class="code hl_struct" href="structmeta_1_1var.html">var&lt;_b, lazy::find&lt;_a, T&gt;</a>&gt;,</div>
<div class="line"> <a class="code hl_struct" href="structmeta_1_1defer.html">lazy::if_</a>&lt;</div>
<div class="line"> std::is_same&lt;_b, list&lt;&gt;&gt;,</div>
<div class="line"> <a class="code hl_typedef" href="group__list.html#gac6b96d77cd4223043591fe6e5819ecf8">meta::npos</a>,</div>
<div class="line"> <a class="code hl_struct" href="structmeta_1_1defer.html">lazy::minus&lt;lazy::size&lt;_a&gt;</a>, <a class="code hl_struct" href="structmeta_1_1defer.html">lazy::size&lt;_b&gt;</a>&gt;&gt;&gt;;</div>
<div class="line"><span class="keyword">static_assert</span>(find_index_&lt;int, list&lt;short, int, float&gt;&gt;{} == 1, <span class="stringliteral">&quot;&quot;</span>);</div>
<div class="line"><span class="keyword">static_assert</span>(find_index_&lt;double, list&lt;short, int, float&gt;&gt;{} == <a class="code hl_typedef" href="group__list.html#gac6b96d77cd4223043591fe6e5819ecf8">meta::npos</a>{}, <span class="stringliteral">&quot;&quot;</span>);</div>
<div class="ttc" id="agroup__list_html_gac6b96d77cd4223043591fe6e5819ecf8"><div class="ttname"><a href="group__list.html#gac6b96d77cd4223043591fe6e5819ecf8">meta::npos</a></div><div class="ttdeci">meta::size_t&lt; std::size_t(-1)&gt; npos</div><div class="ttdoc">A special value used to indicate no matches. It equals the maximum value representable by std::size_t...</div><div class="ttdef"><b>Definition:</b> meta.hpp:1676</div></div>
<div class="ttc" id="agroup__trait_html_ga8135043cacd3026f062390fc4842d21f"><div class="ttname"><a href="group__trait.html#ga8135043cacd3026f062390fc4842d21f">meta::let</a></div><div class="ttdeci">_t&lt; _t&lt; detail::let_&lt; As... &gt; &gt; &gt; let</div><div class="ttdoc">A lexically scoped expression with local variables.</div><div class="ttdef"><b>Definition:</b> meta.hpp:3660</div></div>
<div class="ttc" id="astructmeta_1_1defer_html"><div class="ttname"><a href="structmeta_1_1defer.html">meta::defer</a></div><div class="ttdoc">A wrapper that defers the instantiation of a template C with type parameters Ts in a lambda or let ex...</div><div class="ttdef"><b>Definition:</b> meta.hpp:787</div></div>
<div class="ttc" id="astructmeta_1_1var_html"><div class="ttname"><a href="structmeta_1_1var.html">meta::var</a></div><div class="ttdoc">For use when defining local variables in meta::let expressions.</div><div class="ttdef"><b>Definition:</b> meta.hpp:3622</div></div>
</div><!-- fragment -->
</div>
</div>
<a id="gac14214187fc011fb2c0f719a034bb730" name="gac14214187fc011fb2c0f719a034bb730"></a>
<h2 class="memtitle"><span class="permalink"><a href="#gac14214187fc011fb2c0f719a034bb730">&#9670;&nbsp;</a></span>sizeof_</h2>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;typename T &gt; </div>
<table class="memname">
<tr>
<td class="memname">using <a class="el" href="group__trait.html#gac14214187fc011fb2c0f719a034bb730">meta::sizeof_</a> = typedef <a class="el" href="group__integral.html#ga92ba0e8ad97a32c34cec51aa6d4f8679">meta::size_t</a>&lt;sizeof(T)&gt;</td>
</tr>
</table>
</div><div class="memdoc">
<p><code>#include &lt;<a class="el" href="meta_8hpp.html">meta/meta.hpp</a>&gt;</code></p>
<p>An alias that computes the size of the type <code>T</code>. </p>
<dl class="section user"><dt>Complexity</dt><dd><code>O(1)</code>. </dd></dl>
</div>
</div>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
<ul>
<li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.4 </li>
</ul>
</div>
</body>
</html>