]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/test/detail/type_at.cpp
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 #include <boost/hana/detail/type_at.hpp>
8 namespace hana
= boost::hana
;
14 static_assert(std::is_same
<
15 hana::detail::type_at
<0, x
<0>>::type
,
18 static_assert(std::is_same
<
19 hana::detail::type_at
<0, x
<0>, x
<1>>::type
,
22 static_assert(std::is_same
<
23 hana::detail::type_at
<0, x
<0>, x
<1>, x
<2>>::type
,
27 static_assert(std::is_same
<
28 hana::detail::type_at
<1, x
<0>, x
<1>>::type
,
31 static_assert(std::is_same
<
32 hana::detail::type_at
<1, x
<0>, x
<1>, x
<2>>::type
,
35 static_assert(std::is_same
<
36 hana::detail::type_at
<1, x
<0>, x
<1>, x
<2>, x
<3>>::type
,
40 static_assert(std::is_same
<
41 hana::detail::type_at
<2, x
<0>, x
<1>, x
<2>>::type
,
44 static_assert(std::is_same
<
45 hana::detail::type_at
<2, x
<0>, x
<1>, x
<2>, x
<3>>::type
,
48 static_assert(std::is_same
<
49 hana::detail::type_at
<2, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>>::type
,
53 static_assert(std::is_same
<
54 hana::detail::type_at
<3, x
<0>, x
<1>, x
<2>, x
<3>>::type
,
57 static_assert(std::is_same
<
58 hana::detail::type_at
<3, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>>::type
,
61 static_assert(std::is_same
<
62 hana::detail::type_at
<3, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>>::type
,
66 static_assert(std::is_same
<
67 hana::detail::type_at
<4, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>>::type
,
70 static_assert(std::is_same
<
71 hana::detail::type_at
<4, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>>::type
,
74 static_assert(std::is_same
<
75 hana::detail::type_at
<4, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>>::type
,
79 static_assert(std::is_same
<
80 hana::detail::type_at
<5, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>>::type
,
83 static_assert(std::is_same
<
84 hana::detail::type_at
<5, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>>::type
,
87 static_assert(std::is_same
<
88 hana::detail::type_at
<5, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>, x
<7>>::type
,
92 static_assert(std::is_same
<
93 hana::detail::type_at
<6, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>>::type
,
97 static_assert(std::is_same
<
98 hana::detail::type_at
<7, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>, x
<7>>::type
,