Imported Upstream version 1.64.0
[platform/upstream/boost.git] / libs / hana / test / string / any_of.cpp
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)
4
5 #include <boost/hana/any_of.hpp>
6 #include <boost/hana/assert.hpp>
7 #include <boost/hana/equal.hpp>
8 #include <boost/hana/integral_constant.hpp>
9 #include <boost/hana/not.hpp>
10 #include <boost/hana/string.hpp>
11 namespace hana = boost::hana;
12
13
14 int main() {
15     BOOST_HANA_CONSTANT_CHECK(hana::any_of(
16         BOOST_HANA_STRING("abcd"),
17         hana::equal.to(hana::char_c<'b'>)
18     ));
19
20     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::any_of(
21         BOOST_HANA_STRING(""),
22         hana::always(hana::true_c)
23     )));
24
25     BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::any_of(
26         BOOST_HANA_STRING("abcd"),
27         hana::equal.to(hana::char_c<'z'>)
28     )));
29 }