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_TAKE_BACK_HPP
6 #define BOOST_HANA_TEST_AUTO_TAKE_BACK_HPP
8 #include <boost/hana/assert.hpp>
9 #include <boost/hana/equal.hpp>
10 #include <boost/hana/integral_constant.hpp>
11 #include <boost/hana/take_back.hpp>
13 #include "test_case.hpp"
14 #include <laws/base.hpp>
17 TestCase test_take_back{[]{
18 namespace hana = boost::hana;
19 using hana::test::ct_eq;
21 BOOST_HANA_CONSTANT_CHECK(hana::equal(
22 hana::take_back(MAKE_TUPLE(), hana::size_c<0>),
25 BOOST_HANA_CONSTANT_CHECK(hana::equal(
26 hana::take_back(MAKE_TUPLE(), hana::size_c<1>),
29 BOOST_HANA_CONSTANT_CHECK(hana::equal(
30 hana::take_back(MAKE_TUPLE(), hana::size_c<2>),
34 BOOST_HANA_CONSTANT_CHECK(hana::equal(
35 hana::take_back(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<0>),
38 BOOST_HANA_CONSTANT_CHECK(hana::equal(
39 hana::take_back(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<1>),
40 MAKE_TUPLE(ct_eq<0>{})
42 BOOST_HANA_CONSTANT_CHECK(hana::equal(
43 hana::take_back(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<2>),
44 MAKE_TUPLE(ct_eq<0>{})
46 BOOST_HANA_CONSTANT_CHECK(hana::equal(
47 hana::take_back(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<3>),
48 MAKE_TUPLE(ct_eq<0>{})
51 BOOST_HANA_CONSTANT_CHECK(hana::equal(
52 hana::take_back(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>),
55 BOOST_HANA_CONSTANT_CHECK(hana::equal(
56 hana::take_back(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<1>),
57 MAKE_TUPLE(ct_eq<1>{})
59 BOOST_HANA_CONSTANT_CHECK(hana::equal(
60 hana::take_back(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<2>),
61 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
63 BOOST_HANA_CONSTANT_CHECK(hana::equal(
64 hana::take_back(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<3>),
65 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
68 BOOST_HANA_CONSTANT_CHECK(hana::equal(
69 hana::take_back(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<3>),
70 MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})
73 BOOST_HANA_CONSTANT_CHECK(hana::equal(
74 hana::take_back(MAKE_TUPLE(
75 ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{},
76 ct_eq<5>{}, ct_eq<6>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{}),
78 MAKE_TUPLE(ct_eq<5>{}, ct_eq<6>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{})
82 #endif // !BOOST_HANA_TEST_AUTO_TAKE_BACK_HPP