From e67e6ce89dc51880d80310296717cbecfc0c1014 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Thu, 18 May 2017 14:20:58 +0300
Subject: [PATCH] Document mp_same

---
 doc/html/mp11.html    | 18 +++++++++++++++++-
 doc/mp11/function.qbk |  6 ++++++
 2 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/doc/html/mp11.html b/doc/html/mp11.html
index 64d4482..53c0e68 100644
--- a/doc/html/mp11.html
+++ b/doc/html/mp11.html
@@ -166,6 +166,7 @@
 <dt><span class="section"><a href="mp11.html#mp11.reference.function.mp_all_t"><code class="computeroutput"><span class="identifier">mp_all</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code></a></span></dt>
 <dt><span class="section"><a href="mp11.html#mp11.reference.function.mp_or_t"><code class="computeroutput"><span class="identifier">mp_or</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code></a></span></dt>
 <dt><span class="section"><a href="mp11.html#mp11.reference.function.mp_any_t"><code class="computeroutput"><span class="identifier">mp_any</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code></a></span></dt>
+<dt><span class="section"><a href="mp11.html#mp11.reference.function.mp_same_t"><code class="computeroutput"><span class="identifier">mp_same</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code></a></span></dt>
 </dl></dd>
 <dt><span class="section"><a href="mp11.html#mp11.reference.bind">Bind, <code class="computeroutput"><span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">mp11</span><span class="special">/</span><span class="identifier">bind</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span></code></a></span></dt>
 <dd><dl>
@@ -2087,6 +2088,21 @@
           but does not perform short-circuit evaluation.
         </p>
 </div>
+<div class="section">
+<div class="titlepage"><div><div><h4 class="title">
+<a name="mp11.reference.function.mp_same_t"></a><a class="link" href="mp11.html#mp11.reference.function.mp_same_t" title="mp_same&lt;T...&gt;"><code class="computeroutput"><span class="identifier">mp_same</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code></a>
+</h4></div></div></div>
+<pre class="programlisting"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">class</span><span class="special">...</span> <span class="identifier">T</span><span class="special">&gt;</span> <span class="keyword">using</span> <span class="identifier">mp_same</span> <span class="special">=</span> <span class="comment">/*...*/</span><span class="special">;</span>
+</pre>
+<p>
+          <code class="computeroutput"><span class="identifier">mp_same</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">...&gt;</span></code>
+          is <code class="computeroutput"><span class="identifier">mp_true</span></code> if all the types
+          in <code class="computeroutput"><span class="identifier">T</span><span class="special">...</span></code>
+          are the same type, <code class="computeroutput"><span class="identifier">mp_false</span></code>
+          otherwise. <code class="computeroutput"><span class="identifier">mp_same</span><span class="special">&lt;&gt;</span></code>
+          is <code class="computeroutput"><span class="identifier">mp_true</span></code>.
+        </p>
+</div>
 </div>
 <div class="section">
 <div class="titlepage"><div><div><h3 class="title">
@@ -2299,7 +2315,7 @@
 </div>
 </div>
 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left"><p><small>Last revised: May 17, 2017 at 17:44:23 GMT</small></p></td>
+<td align="left"><p><small>Last revised: May 18, 2017 at 11:17:12 GMT</small></p></td>
 <td align="right"><div class="copyright-footer"></div></td>
 </tr></table>
 <hr>
diff --git a/doc/mp11/function.qbk b/doc/mp11/function.qbk
index b0ef1ae..0ccdc49 100644
--- a/doc/mp11/function.qbk
+++ b/doc/mp11/function.qbk
@@ -37,4 +37,10 @@ If no such type exists, the last one is returned. `mp_or<>` is `mp_false`. Simil
 `mp_or`, but does not perform short-circuit evaluation.
 [endsect]
 
+[section `mp_same<T...>`]
+    template<class... T> using mp_same = /*...*/;
+
+`mp_same<T...>` is `mp_true` if all the types in `T...` are the same type, `mp_false` otherwise. `mp_same<>` is `mp_true`.
+[endsect]
+
 [endsect:function]