]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/example/set/searchable.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)
5 #include <boost/hana/assert.hpp>
6 #include <boost/hana/at_key.hpp>
7 #include <boost/hana/equal.hpp>
8 #include <boost/hana/find.hpp>
9 #include <boost/hana/integral_constant.hpp>
10 #include <boost/hana/optional.hpp>
11 #include <boost/hana/set.hpp>
12 namespace hana
= boost::hana
;
16 constexpr auto xs
= hana::make_set(hana::int_c
<0>, hana::int_c
<1>, hana::int_c
<2>);
17 BOOST_HANA_CONSTANT_CHECK(hana::find(xs
, hana::int_c
<0>) == hana::just(hana::int_c
<0>));
18 BOOST_HANA_CONSTANT_CHECK(hana::find(xs
, hana::int_c
<3>) == hana::nothing
);
20 // operator[] is equivalent to at_key
21 BOOST_HANA_CONSTANT_CHECK(xs
[hana::int_c
<2>] == hana::int_c
<2>);
23 // long_c<0> == int_<0>, and therefore int_<0> is found
24 BOOST_HANA_CONSTANT_CHECK(xs
[hana::long_c
<0>] == hana::int_c
<0>);