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

Add mp_iterate

Browse Source
This commit is contained in:
Peter Dimov
2020-03-22 18:50:55 +02:00
parent 20ea61df94
commit 984da7f1a1
3 changed files with 97 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
include/boost/mp11/algorithm.hpp
View File

@@ -1192,6 +1192,34 @@ template<template<class...> class F> struct mp_partial_sum_impl_f
template<class L, class V, template<class...> class F> using mp_partial_sum = mp_second<mp_fold_q<L, mp_list<V, mp_clear<L>>, detail::mp_partial_sum_impl_f<F>> >;
template<class L, class V, class Q> using mp_partial_sum_q = mp_partial_sum<L, V, Q::template fn>;
// mp_iterate<V, F, R>
namespace detail
{
template<class V, template<class...> class F, template<class...> class R, class N> struct mp_iterate_impl;
} // namespace detail
template<class V, template<class...> class F, template<class...> class R> using mp_iterate = typename detail::mp_iterate_impl<V, F, R, mp_valid<R, V>>::type;
namespace detail
{
template<class V, template<class...> class F, template<class...> class R> struct mp_iterate_impl<V, F, R, mp_false>
{
template<class X> using _f = mp_list<F<X>>;
using type = mp_eval_or<mp_list<>, _f, V>;
};
template<class V, template<class...> class F, template<class...> class R> struct mp_iterate_impl<V, F, R, mp_true>
{
using type = mp_push_front<mp_iterate<R<V>, F, R>, F<V>>;
};
} // namespace detail
template<class V, class Qf, class Qr> using mp_iterate_q = mp_iterate<V, Qf::template fn, Qr::template fn>;
} // namespace mp11
} // namespace boost