From 483eb2f56657e8e7f419ab1a4fab8dce9ade8609 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 20:24:20 +0200 Subject: Adding upstream version 14.2.21. Signed-off-by: Daniel Baumann --- src/boost/libs/hana/example/map/intersection.cpp | 47 ++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 src/boost/libs/hana/example/map/intersection.cpp (limited to 'src/boost/libs/hana/example/map/intersection.cpp') diff --git a/src/boost/libs/hana/example/map/intersection.cpp b/src/boost/libs/hana/example/map/intersection.cpp new file mode 100644 index 00000000..1be8bf0b --- /dev/null +++ b/src/boost/libs/hana/example/map/intersection.cpp @@ -0,0 +1,47 @@ +// Copyright Louis Dionne 2013-2017 +// 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 +#include +#include +#include +#include + +#include +namespace hana = boost::hana; +using namespace hana::literals; + + +static auto m1 = hana::make_map( + hana::make_pair(BOOST_HANA_STRING("key1"), hana::type_c), + hana::make_pair(BOOST_HANA_STRING("key2"), hana::type_c) +); + +static auto m2 = hana::make_map( + hana::make_pair(BOOST_HANA_STRING("key3"), hana::type_c), + hana::make_pair(BOOST_HANA_STRING("key4"), hana::type_c), + hana::make_pair(BOOST_HANA_STRING("key5"), hana::type_c) +); + +BOOST_HANA_CONSTANT_CHECK(hana::intersection(m1, m2) == hana::make_map()); + +static auto m3 = hana::make_map( + hana::make_pair(hana::type_c, hana::int_c<1>), + hana::make_pair(hana::type_c, hana::bool_c), + hana::make_pair(hana::type_c, BOOST_HANA_STRING("hana")), + hana::make_pair(hana::type_c, hana::int_c<100>) +); + +static auto m4 = hana::make_map( + hana::make_pair(hana::type_c, hana::char_c<'c'>), + hana::make_pair(hana::type_c, hana::bool_c), + hana::make_pair(hana::type_c, BOOST_HANA_STRING("boost")) +); + +BOOST_HANA_CONSTANT_CHECK(hana::intersection(m3, m4) == hana::make_map( + hana::make_pair(hana::type_c, hana::bool_c), + hana::make_pair(hana::type_c, BOOST_HANA_STRING("hana")) +)); + +int main() { } -- cgit v1.2.3