From 5eec097378c388d4a115b96b2372711fbbc5160a Mon Sep 17 00:00:00 2001 From: Peter Dimov Date: Wed, 10 May 2017 00:39:18 +0300 Subject: [PATCH] Update documentation --- doc/html/mp11.html | 62 +++++++++++++++++++++++++++++++++++++++++- doc/mp11/algorithm.qbk | 6 ++++ doc/mp11/bind.qbk | 24 ++++++++++++++++ 3 files changed, 91 insertions(+), 1 deletion(-) diff --git a/doc/html/mp11.html b/doc/html/mp11.html index 4a64ff4..2a1b025 100644 --- a/doc/html/mp11.html +++ b/doc/html/mp11.html @@ -98,6 +98,7 @@
mp_assign<L1, L2>
mp_clear<L>
mp_transform<F, L...>
+
mp_transform_q<Q, L...>
mp_transform_if<P, F, L...>
mp_fill<L, V>
mp_count<L, V>
@@ -164,6 +165,10 @@ ..., _9
mp_bind<F, T...>
+
mp_bind_front<F, T...>
+
mp_bind_front_q<Q, T...>
+
mp_bind_back<F, T...>
+
mp_bind_back_q<Q, T...>
Integer Sequences, <boost/integer_sequence.hpp>
@@ -987,6 +992,17 @@

+mp_transform_q<Q, L...> +

+
template<class Q, class... L> using mp_transform_q = mp_transform<Q::template fn, L...>;
+
+

+ As mp_transform, but takes + a quoted metafunction. +

+
+
+

mp_transform_if<P, F, L...> 

template<template<class...> class P, template<class...> class F, class L...> using mp_transform_if = /*...*/;
@@ -1680,6 +1696,50 @@
           is F<int, void, G<float>>.
+
+

+mp_bind_front<F, T...> +

+
template<template<class...> class F, class... T> struct mp_bind_front;
+
+

+ mp_bind_front<F, T...> binds the leftmost arguments of + F to T.... Its nested template fn<U...> returns F<T..., U...>. +

+
+
+

+mp_bind_front_q<Q, T...> +

+
template<class Q, class... T> using mp_bind_front_q = mp_bind_front<Q::template fn, T...>;
+
+

+ As mp_bind_front, but takes + a quoted metafunction. +

+
+
+

+mp_bind_back<F, T...> +

+
template<template<class...> class F, class... T> struct mp_bind_back;
+
+

+ mp_bind_back<F, T...> binds the rightmost arguments of + F to T.... Its nested template fn<U...> returns F<U..., T...>. +

+
+
+

+mp_bind_back_q<Q, T...> +

+
template<class Q, class... T> using mp_bind_back_q = mp_bind_back<Q::template fn, T...>;
+
+

+ As mp_bind_back, but takes + a quoted metafunction. +

+

@@ -1780,7 +1840,7 @@

- +

Last revised: April 01, 2017 at 16:43:16 GMT

Last revised: May 09, 2017 at 21:23:56 GMT
diff --git a/doc/mp11/algorithm.qbk b/doc/mp11/algorithm.qbk index e4a3991..14ccad0 100644 --- a/doc/mp11/algorithm.qbk +++ b/doc/mp11/algorithm.qbk @@ -26,6 +26,12 @@ `mp_transform, L2, ..., Ln>` applies `F` to each successive tuple of elements and returns `L1...>`. [endsect] +[section `mp_transform_q`] + template using mp_transform_q = mp_transform; + +As `mp_transform`, but takes a quoted metafunction. +[endsect] + [section `mp_transform_if`] template class P, template class F, class L...> using mp_transform_if = /*...*/; diff --git a/doc/mp11/bind.qbk b/doc/mp11/bind.qbk index 0278122..424eaf5 100644 --- a/doc/mp11/bind.qbk +++ b/doc/mp11/bind.qbk @@ -38,4 +38,28 @@ of `U...` and the `mp_bind` expressions replaced with their corresponding evalua For example, `mp_bind>::fn` is `F>`. [endsect] +[section `mp_bind_front`] + template class F, class... T> struct mp_bind_front; + +`mp_bind_front` binds the leftmost arguments of `F` to `T...`. Its nested template `fn` returns `F`. +[endsect] + +[section `mp_bind_front_q`] + template using mp_bind_front_q = mp_bind_front; + +As `mp_bind_front`, but takes a quoted metafunction. +[endsect] + +[section `mp_bind_back`] + template class F, class... T> struct mp_bind_back; + +`mp_bind_back` binds the rightmost arguments of `F` to `T...`. Its nested template `fn` returns `F`. +[endsect] + +[section `mp_bind_back_q`] + template using mp_bind_back_q = mp_bind_back; + +As `mp_bind_back`, but takes a quoted metafunction. +[endsect] + [endsect]