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...><boost/mp11/algorithm.hpp>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 templateapplyof a quoted metafunction.mp_unquote<mp_quote<F>, T...>+mp_invoke<Q, T...>evaluates the nested templateinvokeof a quoted metafunction.mp_invoke<mp_quote<F>, T...>is an alias forF<T...>. -mp_unquote<mp_quote<F, T...>, U...>is an alias forF<T..., U...>. +mp_invoke<mp_quote<F, T...>, U...>is an alias forF<T..., U...>.
Last revised: March 16, 2017 at 17:05:33 GMT |
+Last revised: March 16, 2017 at 23:37:05 GMT |
`] - templateusing mp_unquote = typename Q::template invoke ; +[section `mp_invoke `] + templateusing 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]