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/assert.hpp> 6 #include <boost/hana/contains.hpp> 7 #include <boost/hana/integral_constant.hpp> 8 #include <boost/hana/keys.hpp> 9 #include <boost/hana/map.hpp> 10 #include <boost/hana/pair.hpp> 11 #include <boost/hana/permutations.hpp> 12 #include <boost/hana/tuple.hpp> 13 #include <boost/hana/type.hpp> 14 15 #include <string> 16 namespace hana = boost::hana; 17 using namespace std::literals; 18 19 main()20int main() { 21 auto m = hana::make_map( 22 hana::make_pair(hana::int_c<1>, "foobar"s), 23 hana::make_pair(hana::type_c<void>, 1234) 24 ); 25 26 // The order of the keys is unspecified. 27 BOOST_HANA_CONSTANT_CHECK( 28 hana::keys(m) ^hana::in^ hana::permutations(hana::make_tuple(hana::int_c<1>, hana::type_c<void>)) 29 ); 30 } 31