| 22 | auto p() { return ::minimal_product(key<i>(), val<j>()); } |
| 23 | |
| 24 | int main() { |
| 25 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 26 | hana::insert(hana::make_map(), p<1, 1>()), |
| 27 | hana::make_map(p<1, 1>()) |
| 28 | )); |
| 29 | |
| 30 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 31 | hana::insert(hana::make_map(p<1, 1>()), p<1, 99>()), |
| 32 | hana::make_map(p<1, 1>()) |
| 33 | )); |
| 34 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 35 | hana::insert(hana::make_map(p<1, 1>()), p<2, 2>()), |
| 36 | hana::make_map(p<1, 1>(), p<2, 2>()) |
| 37 | )); |
| 38 | |
| 39 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 40 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>()), p<1, 99>()), |
| 41 | hana::make_map(p<1, 1>(), p<2, 2>()) |
| 42 | )); |
| 43 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 44 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>()), p<2, 99>()), |
| 45 | hana::make_map(p<1, 1>(), p<2, 2>()) |
| 46 | )); |
| 47 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 48 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>()), p<3, 3>()), |
| 49 | hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()) |
| 50 | )); |
| 51 | |
| 52 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 53 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()), p<1, 99>()), |
| 54 | hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()) |
| 55 | )); |
| 56 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 57 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()), p<2, 99>()), |
| 58 | hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()) |
| 59 | )); |
| 60 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 61 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()), p<3, 99>()), |
| 62 | hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()) |
| 63 | )); |
| 64 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 65 | hana::insert(hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>()), p<4, 4>()), |
| 66 | hana::make_map(p<1, 1>(), p<2, 2>(), p<3, 3>(), p<4, 4>()) |
| 67 | )); |
| 68 | } |