1 // Copyright Louis Dionne 2013-2016
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_FRONT_HPP
6 #define BOOST_HANA_TEST_AUTO_TAKE_FRONT_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_front.hpp>
13 #include "test_case.hpp"
14 #include <laws/base.hpp>
17 TestCase test_take{[]{
18 namespace hana = boost::hana;
19 using hana::test::ct_eq;
21 BOOST_HANA_CONSTANT_CHECK(hana::equal(
22 hana::take_front(MAKE_TUPLE(), hana::size_c<0>),
25 BOOST_HANA_CONSTANT_CHECK(hana::equal(
26 hana::take_front(MAKE_TUPLE(), hana::size_c<1>),
29 BOOST_HANA_CONSTANT_CHECK(hana::equal(
30 hana::take_front(MAKE_TUPLE(), hana::size_c<2>),
34 BOOST_HANA_CONSTANT_CHECK(hana::equal(
35 hana::take_front(MAKE_TUPLE(ct_eq<0>{}), hana::size_c<0>),
38 BOOST_HANA_CONSTANT_CHECK(hana::equal(
39 hana::take_front(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_front(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_front(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_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<0>),
55 BOOST_HANA_CONSTANT_CHECK(hana::equal(
56 hana::take_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<1>),
57 MAKE_TUPLE(ct_eq<0>{})
59 BOOST_HANA_CONSTANT_CHECK(hana::equal(
60 hana::take_front(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_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::size_c<3>),
65 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
67 BOOST_HANA_CONSTANT_CHECK(hana::equal(
68 hana::take_front(MAKE_TUPLE(
69 ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{}, ct_eq<5>{}, ct_eq<6>{},
70 ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{}, ct_eq<10>{}, ct_eq<11>{}, ct_eq<12>{}, ct_eq<13>{}),
72 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{},
73 ct_eq<5>{}, ct_eq<6>{}, ct_eq<7>{}, ct_eq<8>{}, ct_eq<9>{})
77 #endif // !BOOST_HANA_TEST_AUTO_TAKE_FRONT_HPP