]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/test/detail/type_foldl1.cpp
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 #include <boost/hana/detail/type_foldl1.hpp>
8 namespace hana
= boost::hana
;
11 template <typename state
, typename x
>
19 static_assert(std::is_same
<
20 hana::detail::type_foldl1
<f
, x
<0>>::type
,
24 static_assert(std::is_same
<
25 hana::detail::type_foldl1
<f
, x
<0>, x
<1>>::type
,
29 static_assert(std::is_same
<
30 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>>::type
,
31 f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
34 static_assert(std::is_same
<
35 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>>::type
,
36 f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
39 static_assert(std::is_same
<
40 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>>::type
,
41 f
<f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
, x
<4>>::type
44 static_assert(std::is_same
<
45 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>>::type
,
46 f
<f
<f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
, x
<4>>::type
, x
<5>>::type
49 static_assert(std::is_same
<
50 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>>::type
,
51 f
<f
<f
<f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
, x
<4>>::type
, x
<5>>::type
, x
<6>>::type
54 static_assert(std::is_same
<
55 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>, x
<7>>::type
,
56 f
<f
<f
<f
<f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
, x
<4>>::type
, x
<5>>::type
, x
<6>>::type
, x
<7>>::type
59 static_assert(std::is_same
<
60 hana::detail::type_foldl1
<f
, x
<0>, x
<1>, x
<2>, x
<3>, x
<4>, x
<5>, x
<6>, x
<7>, x
<8>>::type
,
61 f
<f
<f
<f
<f
<f
<f
<f
<x
<0>, x
<1>>::type
, x
<2>>::type
, x
<3>>::type
, x
<4>>::type
, x
<5>>::type
, x
<6>>::type
, x
<7>>::type
, x
<8>>::type