From c0fd3871eba95ffceffd0f05047f98df6c9a2ddf Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Fri, 17 Mar 2017 01:39:52 +0200 Subject: [PATCH] Update documentation. --- doc/html/mp11.html | 18 +++++++++--------- doc/mp11/utility.qbk | 6 +++--- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/doc/html/mp11.html b/doc/html/mp11.html index 1945ad0..52ca3fb 100644 --- a/doc/html/mp11.html +++ b/doc/html/mp11.html @@ -77,7 +77,7 @@
mp_valid<F, T...>
mp_defer<F, T...>
mp_quote<F, T...>
-
mp_unquote<Q, T...>
+
mp_invoke<Q, T...>
Algorithms, <boost/mp11/algorithm.hpp>
@@ -548,28 +548,28 @@ 
template<template<class...> class F, class... T> struct mp_quote
 {
-    template<class... U> using apply = F<T..., U...>;
+    template<class... U> using invoke = F<T..., U...>;
 };

mp_quote<F, T...> transforms the template F into a type. In the common case mp_quote<F>, - the nested template apply + the nested template invoke of the result is an alias for F; - otherwise, apply<U...> + otherwise, invoke<U...> is an alias for F<T..., U...>, allowing partial application.

-
template<class Q, class... T> using mp_unquote = typename Q::template apply<T...>;
+
template<class Q, class... T> using mp_invoke = typename Q::template invoke<T...>;
 

 

-          mp_unquote<Q, T...> evaluates the nested template apply of a quoted metafunction. mp_unquote<mp_quote<F>, T...>
+          mp_invoke<Q, T...> evaluates the nested template invoke of a quoted metafunction. mp_invoke<mp_quote<F>, T...>
           is an alias for F<T...>.
-          mp_unquote<mp_quote<F, T...>, U...> is an alias for F<T..., U...>.
+          mp_invoke<mp_quote<F, T...>, U...> is an alias for F<T..., U...>.
@@ -1330,7 +1330,7 @@ - +

Last revised: March 16, 2017 at 17:05:33 GMT

Last revised: March 16, 2017 at 23:37:05 GMT
diff --git a/doc/mp11/utility.qbk b/doc/mp11/utility.qbk index 6f12df0..79c7c20 100644 --- a/doc/mp11/utility.qbk +++ b/doc/mp11/utility.qbk @@ -71,10 +71,10 @@ When `mp_valid` is `mp_true`, `mp_defer` is a struct with a ne otherwise, `invoke` is an alias for `F`, allowing partial application. [endsect] -[section `mp_unquote`] - template using mp_unquote = typename Q::template invoke; +[section `mp_invoke`] + template using mp_invoke = typename Q::template invoke; -`mp_unquote` evaluates the nested template `invoke` of a quoted metafunction. `mp_unquote, T...>` is an alias for `F`. `mp_unquote, U...>` is an alias for `F`. +`mp_invoke` evaluates the nested template `invoke` of a quoted metafunction. `mp_invoke, T...>` is an alias for `F`. `mp_invoke, U...>` is an alias for `F`. [endsect] [endsect]