feedc0de/boost_mp11
1
0
Fork 0
forked from boostorg/mp11
Code Pull Requests Activity

Add mp_fold_q, mp_reverse_fold_q

Browse Source
This commit is contained in:
Peter Dimov
2017-10-14 20:26:38 +03:00
parent 321f5fdb24
commit e5b4200d24
5 changed files with 146 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/mp11/algorithm.adoc
+14
View File
@@ -484,6 +484,13 @@ using L1 = mp_list<std::ratio<1,8>, std::ratio<1,4>, std::ratio<1,2>>;
using R1 = mp_fold<L1, std::ratio<0,1>, std::ratio_add>; // std::ratio<7,8>
----
## mp_fold_q<L, V, Q>
template<class L, class V, class Q> using mp_fold_q =
mp_fold<L, V, Q::template fn>;
As `mp_fold`, but takes a quoted metafunction.
## mp_reverse_fold<L, V, F>
template<class L, class V, template<class...> class F> using mp_reverse_fold =
@@ -491,6 +498,13 @@ using R1 = mp_fold<L1, std::ratio<0,1>, std::ratio_add>; // std::ratio<7,8>
`mp_reverse_fold<L<T1, T2, ..., Tn>, V, F>` is `F<T1, F<T2, F<..., F<Tn, V>>>>`, or `V`, if `L` is empty.
## mp_reverse_fold_q<L, V, Q>
template<class L, class V, class Q> using mp_reverse_fold_q =
mp_reverse_fold<L, V, Q::template fn>;
As `mp_reverse_fold`, but takes a quoted metafunction.
## mp_unique<L>
template<class L> using mp_unique = /*...*/;