mirror of
https://github.com/boostorg/hana.git
synced 2026-02-01 08:32:11 +00:00
82 lines
1.7 KiB
C++
82 lines
1.7 KiB
C++
/*
|
|
@copyright Louis Dionne 2015
|
|
Distributed under the Boost Software License, Version 1.0.
|
|
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
|
|
#include <boost/hana/assert.hpp>
|
|
#include <boost/hana/config.hpp>
|
|
#include <boost/hana/integral_constant.hpp>
|
|
#include <boost/hana/maybe.hpp>
|
|
#include <boost/hana/set.hpp>
|
|
#include <boost/hana/string.hpp>
|
|
#include <boost/hana/type.hpp>
|
|
using namespace boost::hana;
|
|
|
|
|
|
int main() {
|
|
|
|
{
|
|
|
|
//! [make<Set>]
|
|
auto m = make<Set>(int_<1>, type<void>);
|
|
//! [make<Set>]
|
|
(void)m;
|
|
|
|
}{
|
|
|
|
//! [make_set]
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
make_set(int_<1>, type<void>) == make<Set>(int_<1>, type<void>)
|
|
);
|
|
//! [make_set]
|
|
|
|
}{
|
|
|
|
//! [comparable]
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
set(int_<0>, type<char>, int_<1>) == set(int_<1>, int_<0>, type<char>)
|
|
);
|
|
|
|
BOOST_HANA_CONSTEXPR_CHECK(set(1, '2', 3.3) == set('2', 1, 3.3));
|
|
BOOST_HANA_CONSTANT_CHECK(set(1, '2', 3.3) != set('2', 1));
|
|
//! [comparable]
|
|
|
|
}{
|
|
|
|
//! [searchable]
|
|
constexpr auto xs = set(int_<0>, int_<1>, int_<2>);
|
|
BOOST_HANA_CONSTANT_CHECK(find(xs, int_<0>) == just(int_<0>));
|
|
BOOST_HANA_CONSTANT_CHECK(find(xs, int_<3>) == nothing);
|
|
//! [searchable]
|
|
|
|
}{
|
|
|
|
//! [foldable]
|
|
constexpr auto xs = set(int_<0>, int_<1>, int_<2>);
|
|
static_assert(minimum(xs) == int_<0>, "");
|
|
static_assert(maximum(xs) == int_<2>, "");
|
|
static_assert(sum(xs) == int_<3>, "");
|
|
|
|
// folding is not really meaningful since the order of the
|
|
// elements is unspecified.
|
|
//! [foldable]
|
|
|
|
}{
|
|
|
|
//! [insert]
|
|
constexpr auto xs = set(int_<0>, type<int>);
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
insert(xs, BOOST_HANA_STRING("abc")) ==
|
|
set(int_<0>, type<int>, BOOST_HANA_STRING("abc"))
|
|
);
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(
|
|
insert(xs, int_<0>) == set(int_<0>, type<int>)
|
|
);
|
|
//! [insert]
|
|
|
|
}
|
|
|
|
}
|