1 // Copyright Louis Dionne 2013-2017
2 // Distributed under the Boost Software License, Version 1.0.
3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
5 #include <boost/hana/assert.hpp>
6 #include <boost/hana/config.hpp>
7 #include <boost/hana/ext/std/integral_constant.hpp>
8 #include <boost/hana/integral_constant.hpp>
9 #include <boost/hana/mod.hpp>
10 #include <boost/hana/none_of.hpp>
11 #include <boost/hana/not.hpp>
12 #include <boost/hana/not_equal.hpp>
13 #include <boost/hana/tuple.hpp>
14 #include <boost/hana/type.hpp>
16 #include <type_traits>
17 namespace hana
= boost::hana
;
18 using namespace hana::literals
;
21 BOOST_HANA_CONSTEXPR_LAMBDA
auto is_odd
= [](auto x
) {
22 return x
% 2_c
!= 0_c
;
26 BOOST_HANA_CONSTANT_CHECK(hana::none_of(hana::make_tuple(2_c
, 4_c
), is_odd
));
27 BOOST_HANA_CONSTEXPR_CHECK(!hana::none_of(hana::make_tuple(1, 2), is_odd
));
29 BOOST_HANA_CONSTANT_CHECK(
30 !hana::none_of(hana::make_tuple(hana::type_c
<void>, hana::type_c
<char&>), hana::trait
<std::is_void
>)
32 BOOST_HANA_CONSTANT_CHECK(
33 hana::none_of(hana::make_tuple(hana::type_c
<void>, hana::type_c
<char&>), hana::trait
<std::is_integral
>)