MPL11
 All Classes Namespaces Files Typedefs Macros Groups Pages
foldl.hpp
Go to the documentation of this file.
1 
12 // GENERATED HEADER: DO NOT EDIT.
15 
16 #ifndef BOOST_MPL11_DETAIL_TEST_FOLDL_HPP
17 #define BOOST_MPL11_DETAIL_TEST_FOLDL_HPP
18 
19 #include <boost/mpl11/detail/test/expect.hpp>
20 #include <boost/mpl11/functional.hpp>
21 
22 
23 namespace boost { namespace mpl11 { namespace detail {
24  namespace foldl_detail {
25  template <int> struct x { using type = x; };
26 
27  template <typename ...x>
28  struct f { using type = f<typename x::type...>; };
29 
30 
31 
32  template <template <typename ...> class fold>
33  struct test_foldl :
34 
35  expect<fold<lift<f>, x<0> >
36  >::template to_eq<
37  x<0>
38  >
39 
40  , expect<fold<lift<f>, x<0> , x<1>>
41  >::template to_eq<
42  f<x<0>, x<1>>
43  >
44 
45  , expect<fold<lift<f>, x<0> , x<1>, x<2>>
46  >::template to_eq<
47  f<f<x<0>, x<1>>, x<2>>
48  >
49 
50  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>>
51  >::template to_eq<
52  f<f<f<x<0>, x<1>>, x<2>>, x<3>>
53  >
54 
55  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>>
56  >::template to_eq<
57  f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>
58  >
59 
60  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>>
61  >::template to_eq<
62  f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>
63  >
64 
65  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>>
66  >::template to_eq<
67  f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>
68  >
69 
70  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>>
71  >::template to_eq<
72  f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>
73  >
74 
75  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>>
76  >::template to_eq<
77  f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>
78  >
79 
80  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>>
81  >::template to_eq<
82  f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>
83  >
84 
85  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>>
86  >::template to_eq<
87  f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>
88  >
89 
90  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>>
91  >::template to_eq<
92  f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>
93  >
94 
95  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>>
96  >::template to_eq<
97  f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>
98  >
99 
100  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>>
101  >::template to_eq<
102  f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>
103  >
104 
105  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>>
106  >::template to_eq<
107  f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>
108  >
109 
110  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>>
111  >::template to_eq<
112  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>
113  >
114 
115  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>, x<16>>
116  >::template to_eq<
117  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>, x<16>>
118  >
119 
120  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>, x<16>, x<17>>
121  >::template to_eq<
122  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>, x<16>>, x<17>>
123  >
124 
125  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>, x<16>, x<17>, x<18>>
126  >::template to_eq<
127  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>, x<16>>, x<17>>, x<18>>
128  >
129 
130  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>, x<16>, x<17>, x<18>, x<19>>
131  >::template to_eq<
132  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>, x<16>>, x<17>>, x<18>>, x<19>>
133  >
134 
135  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>, x<5>, x<6>, x<7>, x<8>, x<9>, x<10>, x<11>, x<12>, x<13>, x<14>, x<15>, x<16>, x<17>, x<18>, x<19>, x<20>>
136  >::template to_eq<
137  f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<f<x<0>, x<1>>, x<2>>, x<3>>, x<4>>, x<5>>, x<6>>, x<7>>, x<8>>, x<9>>, x<10>>, x<11>>, x<12>>, x<13>>, x<14>>, x<15>>, x<16>>, x<17>>, x<18>>, x<19>>, x<20>>
138  >
139 
140  { };
141  } // end namespace foldl_detail
142 
143  using foldl_detail::test_foldl;
144 }}} // end namespace boost::mpl11::detail
145 
146 #endif // !BOOST_MPL11_DETAIL_TEST_FOLDL_HPP
expect.hpp
Defines utilities to write unit tests.
functional.hpp
Defines the Functional module.
Generated on Mon Jun 2 2014 16:56:38 for MPL11 by   doxygen 1.8.7