MPL11
 All Classes Namespaces Files Typedefs Macros Groups Pages
foldr.hpp
Go to the documentation of this file.
1 
12 // GENERATED HEADER: DO NOT EDIT.
15 
16 #ifndef BOOST_MPL11_DETAIL_TEST_FOLDR_HPP
17 #define BOOST_MPL11_DETAIL_TEST_FOLDR_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 foldr_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_foldr :
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<1>, x<0>>
43  >
44 
45  , expect<fold<lift<f>, x<0> , x<1>, x<2>>
46  >::template to_eq<
47  f<x<1>, f<x<2>, x<0>>>
48  >
49 
50  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>>
51  >::template to_eq<
52  f<x<1>, f<x<2>, f<x<3>, x<0>>>>
53  >
54 
55  , expect<fold<lift<f>, x<0> , x<1>, x<2>, x<3>, x<4>>
56  >::template to_eq<
57  f<x<1>, f<x<2>, f<x<3>, f<x<4>, x<0>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, x<0>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, x<0>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, x<0>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, x<0>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, x<0>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, x<0>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, x<0>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, x<0>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, x<0>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, x<0>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, x<0>>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, f<x<16>, x<0>>>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, f<x<16>, f<x<17>, x<0>>>>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, f<x<16>, f<x<17>, f<x<18>, x<0>>>>>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, f<x<16>, f<x<17>, f<x<18>, f<x<19>, x<0>>>>>>>>>>>>>>>>>>>>
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<x<1>, f<x<2>, f<x<3>, f<x<4>, f<x<5>, f<x<6>, f<x<7>, f<x<8>, f<x<9>, f<x<10>, f<x<11>, f<x<12>, f<x<13>, f<x<14>, f<x<15>, f<x<16>, f<x<17>, f<x<18>, f<x<19>, f<x<20>, x<0>>>>>>>>>>>>>>>>>>>>>
138  >
139 
140  { };
141  } // end namespace foldr_detail
142 
143  using foldr_detail::test_foldr;
144 }}} // end namespace boost::mpl11::detail
145 
146 #endif // !BOOST_MPL11_DETAIL_TEST_FOLDR_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