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)
5 #ifndef BOOST_HANA_TEST_AUTO_REMOVE_RANGE_HPP
6 #define BOOST_HANA_TEST_AUTO_REMOVE_RANGE_HPP
8 #include <boost/hana/assert.hpp>
9 #include <boost/hana/equal.hpp>
10 #include <boost/hana/integral_constant.hpp>
11 #include <boost/hana/remove_range.hpp>
13 #include <laws/base.hpp>
14 #include "test_case.hpp"
17 TestCase test_remove_range{[]{
18 namespace hana = boost::hana;
19 using hana::test::ct_eq;
21 BOOST_HANA_CONSTANT_CHECK(hana::equal(
22 hana::remove_range(MAKE_TUPLE(), hana::size_c<0>, hana::size_c<0>),
25 BOOST_HANA_CONSTANT_CHECK(hana::equal(
26 hana::remove_range(MAKE_TUPLE(), hana::size_c<1>, hana::size_c<1>),
29 BOOST_HANA_CONSTANT_CHECK(hana::equal(
30 hana::remove_range(MAKE_TUPLE(), hana::size_c<2>, hana::size_c<2>),
34 BOOST_HANA_CONSTANT_CHECK(hana::equal(
35 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<0>, hana::size_c<0>),
36 MAKE_TUPLE(ct_eq<0>{})
38 BOOST_HANA_CONSTANT_CHECK(hana::equal(
39 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<0>, hana::size_c<1>),
42 BOOST_HANA_CONSTANT_CHECK(hana::equal(
43 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<1>, hana::size_c<1>),
44 MAKE_TUPLE(ct_eq<0>{})
46 BOOST_HANA_CONSTANT_CHECK(hana::equal(
47 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<2>, hana::size_c<2>),
48 MAKE_TUPLE(ct_eq<0>{})
51 BOOST_HANA_CONSTANT_CHECK(hana::equal(
52 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>, hana::size_c<0>),
53 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
55 BOOST_HANA_CONSTANT_CHECK(hana::equal(
56 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>, hana::size_c<1>),
57 MAKE_TUPLE(ct_eq<1>{})
59 BOOST_HANA_CONSTANT_CHECK(hana::equal(
60 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<1>, hana::size_c<2>),
61 MAKE_TUPLE(ct_eq<0>{})
63 BOOST_HANA_CONSTANT_CHECK(hana::equal(
64 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>, hana::size_c<2>),
67 BOOST_HANA_CONSTANT_CHECK(hana::equal(
68 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<2>, hana::size_c<2>),
69 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
71 BOOST_HANA_CONSTANT_CHECK(hana::equal(
72 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}),
73 hana::size_c<9999>, hana::size_c<9999>),
74 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
77 BOOST_HANA_CONSTANT_CHECK(hana::equal(
78 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}),
79 hana::size_c<0>, hana::size_c<2>),
80 MAKE_TUPLE(ct_eq<2>{})
82 BOOST_HANA_CONSTANT_CHECK(hana::equal(
83 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}),
84 hana::size_c<1>, hana::size_c<3>),
85 MAKE_TUPLE(ct_eq<0>{})
88 BOOST_HANA_CONSTANT_CHECK(hana::equal(
89 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}),
90 hana::size_c<0>, hana::size_c<2>),
91 MAKE_TUPLE(ct_eq<2>{}, ct_eq<3>{})
93 BOOST_HANA_CONSTANT_CHECK(hana::equal(
94 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}),
95 hana::size_c<2>, hana::size_c<3>),
96 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<3>{})
99 BOOST_HANA_CONSTANT_CHECK(hana::equal(
100 hana::remove_range(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{},
101 ct_eq<5>{}, ct_eq<6>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{}),
102 hana::size_c<4>, hana::size_c<7>),
103 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{})
107 BOOST_HANA_CONSTANT_CHECK(hana::equal(
108 hana::remove_range_c<4, 7>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{},
109 ct_eq<5>{}, ct_eq<6>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{})),
110 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{})
114 #endif // !BOOST_HANA_TEST_AUTO_REMOVE_RANGE_HPP