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_INSERT_HPP
6 #define BOOST_HANA_TEST_AUTO_INSERT_HPP
8 #include <boost/hana/assert.hpp>
9 #include <boost/hana/equal.hpp>
10 #include <boost/hana/insert.hpp>
11 #include <boost/hana/integral_constant.hpp>
13 #include "test_case.hpp"
14 #include <laws/base.hpp>
17 TestCase test_insert{[]{
18 namespace hana = boost::hana;
19 using hana::test::ct_eq;
21 auto z = ct_eq<999>{};
23 BOOST_HANA_CONSTANT_CHECK(hana::equal(
24 hana::insert(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<0>, z),
25 MAKE_TUPLE(z, ct_eq<0>{})
27 BOOST_HANA_CONSTANT_CHECK(hana::equal(
28 hana::insert(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<1>, z),
29 MAKE_TUPLE(ct_eq<0>{}, z)
32 BOOST_HANA_CONSTANT_CHECK(hana::equal(
33 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>, z),
34 MAKE_TUPLE(z, ct_eq<0>{}, ct_eq<1>{})
36 BOOST_HANA_CONSTANT_CHECK(hana::equal(
37 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<1>, z),
38 MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{})
40 BOOST_HANA_CONSTANT_CHECK(hana::equal(
41 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<2>, z),
42 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, z)
45 BOOST_HANA_CONSTANT_CHECK(hana::equal(
46 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::size_c<0>, z),
47 MAKE_TUPLE(z, ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})
49 BOOST_HANA_CONSTANT_CHECK(hana::equal(
50 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::size_c<1>, z),
51 MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, ct_eq<2>{})
53 BOOST_HANA_CONSTANT_CHECK(hana::equal(
54 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::size_c<2>, z),
55 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, z, ct_eq<2>{})
57 BOOST_HANA_CONSTANT_CHECK(hana::equal(
58 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::size_c<3>, z),
59 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, z)
62 BOOST_HANA_CONSTANT_CHECK(hana::equal(
63 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<0>, z),
64 MAKE_TUPLE(z, ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})
66 BOOST_HANA_CONSTANT_CHECK(hana::equal(
67 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<1>, z),
68 MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})
70 BOOST_HANA_CONSTANT_CHECK(hana::equal(
71 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<2>, z),
72 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, z, ct_eq<2>{}, ct_eq<3>{})
74 BOOST_HANA_CONSTANT_CHECK(hana::equal(
75 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<3>, z),
76 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, z, ct_eq<3>{})
78 BOOST_HANA_CONSTANT_CHECK(hana::equal(
79 hana::insert(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<4>, z),
80 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, z)
84 #endif // !BOOST_HANA_TEST_AUTO_INSERT_HPP