| 24 | constexpr auto array() { return std::array<int, sizeof...(i)>{{i...}}; } |
| 25 | |
| 26 | int main() { |
| 27 | // is_empty |
| 28 | { |
| 29 | BOOST_HANA_CONSTANT_CHECK(hana::is_empty(array<>())); |
| 30 | BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(array<0>()))); |
| 31 | BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(array<0, 1>()))); |
| 32 | } |
| 33 | |
| 34 | // front |
| 35 | { |
| 36 | BOOST_HANA_CONSTEXPR_CHECK(hana::front(array<0>()) == 0); |
| 37 | BOOST_HANA_CONSTEXPR_CHECK(hana::front(array<0, 1>()) == 0); |
| 38 | BOOST_HANA_CONSTEXPR_CHECK(hana::front(array<0, 1, 2>()) == 0); |
| 39 | } |
| 40 | |
| 41 | // drop_front_exactly |
| 42 | { |
| 43 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 44 | hana::drop_front_exactly(array<0>()), |
| 45 | array<>() |
| 46 | )); |
| 47 | BOOST_HANA_CONSTEXPR_CHECK(hana::equal( |
| 48 | hana::drop_front_exactly(array<0, 1>()), |
| 49 | array<1>() |
| 50 | )); |
| 51 | BOOST_HANA_CONSTEXPR_CHECK(hana::equal( |
| 52 | hana::drop_front_exactly(array<0, 1, 2>()), |
| 53 | array<1, 2>() |
| 54 | )); |
| 55 | BOOST_HANA_CONSTEXPR_CHECK(hana::equal( |
| 56 | hana::drop_front_exactly(array<0, 1, 2, 3>()), |
| 57 | array<1, 2, 3>() |
| 58 | )); |
| 59 | |
| 60 | |
| 61 | BOOST_HANA_CONSTEXPR_CHECK(hana::equal( |
| 62 | hana::drop_front_exactly(array<0, 1, 2, 3>(), hana::size_c<2>), |
| 63 | array<2, 3>() |
| 64 | )); |
| 65 | |
| 66 | BOOST_HANA_CONSTEXPR_CHECK(hana::equal( |
| 67 | hana::drop_front_exactly(array<0, 1, 2, 3>(), hana::size_c<3>), |
| 68 | array<3>() |
| 69 | )); |
| 70 | } |
| 71 | |
| 72 | // laws |
| 73 | auto int_arrays = hana::make_tuple( |
| 74 | array<>() |
| 75 | , array<0>() |
| 76 | , array<0, 1>() |
| 77 | , array<0, 1, 2>() |
| 78 | , array<0, 1, 2, 3>() |
| 79 | , array<0, 1, 2, 3, 4>() |
| 80 | ); |
| 81 | |
| 82 | hana::test::TestIterable<hana::ext::std::array_tag>{int_arrays}; |
| 83 | } |