boost/hana
2
0
Fork 0
mirror of https://github.com/boostorg/hana.git synced 2026-02-20 02:42:14 +00:00
Code Issues Projects Releases Wiki Activity

Add any, all, none and {any,all,none}_of.

Browse Source
This commit is contained in:
Louis Dionne
2014-05-18 19:45:07 -04:00
parent e511cff396
commit 1fac38b7bc
2 changed files with 85 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

73
include/boost/hana/iterable.hpp
View File

@@ -63,6 +63,42 @@ namespace boost { namespace hana {
{ return Iterable<Iterable_>::drop_impl(n, iterable); }
} drop{};
constexpr struct _any {
template <typename Pred, typename Iterable_>
constexpr auto operator()(Pred pred, Iterable_ iterable) const
{ return Iterable<Iterable_>::any_impl(pred, iterable); }
} any{};
constexpr struct _any_of {
template <typename Iterable_>
constexpr auto operator()(Iterable_ iterable) const
{ return Iterable<Iterable_>::any_of_impl(iterable); }
} any_of{};
constexpr struct _all {
template <typename Pred, typename Iterable_>
constexpr auto operator()(Pred pred, Iterable_ iterable) const
{ return Iterable<Iterable_>::all_impl(pred, iterable); }
} all{};
constexpr struct _all_of {
template <typename Iterable_>
constexpr auto operator()(Iterable_ iterable) const
{ return Iterable<Iterable_>::all_of_impl(iterable); }
} all_of{};
constexpr struct _none {
template <typename Pred, typename Iterable_>
constexpr auto operator()(Pred pred, Iterable_ iterable) const
{ return Iterable<Iterable_>::none_impl(pred, iterable); }
} none{};
constexpr struct _none_of {
template <typename Iterable_>
constexpr auto operator()(Iterable_ iterable) const
{ return Iterable<Iterable_>::none_of_impl(iterable); }
} none_of{};
template <>
struct defaults<Iterable> {
@@ -114,6 +150,43 @@ namespace boost { namespace hana {
return drop_helper(n, iterable,
n == int_<0> || is_empty(iterable));
}
// any, all, none
template <typename Pred, typename Iterable_>
static constexpr Bool<false>
any_helper(Pred pred, Iterable_ iterable, Bool<true>)
{ return {}; }
template <typename Pred, typename Iterable_>
static constexpr auto
any_helper(Pred pred, Iterable_ iterable, Bool<false>)
{ return pred(head(iterable)) || any(pred, tail(iterable)); }
template <typename Pred, typename Iterable_>
static constexpr auto any_impl(Pred pred, Iterable_ iterable)
{ return any_helper(pred, iterable, is_empty(iterable)); }
template <typename Pred, typename Iterable_>
static constexpr auto all_impl(Pred pred, Iterable_ iterable)
{ return !any([=](auto x) { return !pred(x); }, iterable); }
template <typename Pred, typename Iterable_>
static constexpr auto none_impl(Pred pred, Iterable_ iterable)
{ return !any(pred, iterable); }
// any_of, all_of, none_of
template <typename Iterable_>
static constexpr auto any_of_impl(Iterable_ iterable)
{ return any([](auto x) { return x; }, iterable); }
template <typename Iterable_>
static constexpr auto all_of_impl(Iterable_ iterable)
{ return all([](auto x) { return x; }, iterable); }
template <typename Iterable_>
static constexpr auto none_of_impl(Iterable_ iterable)
{ return none([](auto x) { return x; }, iterable); }
};
}} // end namespace boost::hana

12
test/iterable.cpp
View File

@@ -53,9 +53,21 @@ void test_drop() {
BOOST_HANA_STATIC_ASSERT(drop(int_<2>, iterable(int_<0>, int_<1>)) == iterable());
}
void test_all_of() {
BOOST_HANA_STATIC_ASSERT(all_of(iterable()));
BOOST_HANA_STATIC_ASSERT(all_of(iterable(true_)));
BOOST_HANA_STATIC_ASSERT(all_of(iterable(true_, true_)));
BOOST_HANA_STATIC_ASSERT(!all_of(iterable(true_, true_, false_)));
BOOST_HANA_STATIC_ASSERT(!all_of(iterable(false_, true_, true_)));
BOOST_HANA_STATIC_ASSERT(all_of(iterable(true, true)));
BOOST_HANA_STATIC_ASSERT(!all_of(iterable(true, true, false)));
}
int main() {
test_at();
test_last();
test_length();
test_drop();
test_all_of();
}