1 ///////////////////////////////////////////////////////////////////////////////
2 // poly_function_traits.hpp
3 // Contains specializations of poly_function_traits and as_mono_function
4 //
5 // Copyright 2008 Eric Niebler. Distributed under the Boost
6 // Software License, Version 1.0. (See accompanying file
7 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8
9 template<typename PolyFun , typename A0>
10 struct poly_function_traits<PolyFun, PolyFun(A0), mpl::size_t<sizeof(poly_function_t)> >
11 {
12 typedef typename PolyFun::template impl<const A0> function_type;
13 typedef typename function_type::result_type result_type;
14 };
15
16 template<typename PolyFun , typename A0>
17 struct as_mono_function_impl<PolyFun(A0), true>
18 {
19 typedef typename PolyFun::template impl<const A0> type;
20 };
21
22 template<typename PolyFun , typename A0>
23 struct as_mono_function_impl<PolyFun(A0), false>
24 {
25 typedef PolyFun type;
26 };
27
28 template<typename PolyFun , typename A0>
29 struct as_mono_function<PolyFun(A0)>
30 : as_mono_function_impl<PolyFun(A0), is_poly_function<PolyFun>::value>
31 {};
32
33 template<typename PolyFun , typename A0 , typename A1>
34 struct poly_function_traits<PolyFun, PolyFun(A0 , A1), mpl::size_t<sizeof(poly_function_t)> >
35 {
36 typedef typename PolyFun::template impl<const A0 , const A1> function_type;
37 typedef typename function_type::result_type result_type;
38 };
39
40 template<typename PolyFun , typename A0 , typename A1>
41 struct as_mono_function_impl<PolyFun(A0 , A1), true>
42 {
43 typedef typename PolyFun::template impl<const A0 , const A1> type;
44 };
45
46 template<typename PolyFun , typename A0 , typename A1>
47 struct as_mono_function_impl<PolyFun(A0 , A1), false>
48 {
49 typedef PolyFun type;
50 };
51
52 template<typename PolyFun , typename A0 , typename A1>
53 struct as_mono_function<PolyFun(A0 , A1)>
54 : as_mono_function_impl<PolyFun(A0 , A1), is_poly_function<PolyFun>::value>
55 {};
56
57 template<typename PolyFun , typename A0 , typename A1 , typename A2>
58 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2), mpl::size_t<sizeof(poly_function_t)> >
59 {
60 typedef typename PolyFun::template impl<const A0 , const A1 , const A2> function_type;
61 typedef typename function_type::result_type result_type;
62 };
63
64 template<typename PolyFun , typename A0 , typename A1 , typename A2>
65 struct as_mono_function_impl<PolyFun(A0 , A1 , A2), true>
66 {
67 typedef typename PolyFun::template impl<const A0 , const A1 , const A2> type;
68 };
69
70 template<typename PolyFun , typename A0 , typename A1 , typename A2>
71 struct as_mono_function_impl<PolyFun(A0 , A1 , A2), false>
72 {
73 typedef PolyFun type;
74 };
75
76 template<typename PolyFun , typename A0 , typename A1 , typename A2>
77 struct as_mono_function<PolyFun(A0 , A1 , A2)>
78 : as_mono_function_impl<PolyFun(A0 , A1 , A2), is_poly_function<PolyFun>::value>
79 {};
80
81 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
82 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3), mpl::size_t<sizeof(poly_function_t)> >
83 {
84 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> function_type;
85 typedef typename function_type::result_type result_type;
86 };
87
88 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
89 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), true>
90 {
91 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> type;
92 };
93
94 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
95 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), false>
96 {
97 typedef PolyFun type;
98 };
99
100 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
101 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3)>
102 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), is_poly_function<PolyFun>::value>
103 {};
104
105 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
106 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4), mpl::size_t<sizeof(poly_function_t)> >
107 {
108 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> function_type;
109 typedef typename function_type::result_type result_type;
110 };
111
112 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
113 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), true>
114 {
115 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> type;
116 };
117
118 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
119 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), false>
120 {
121 typedef PolyFun type;
122 };
123
124 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
125 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4)>
126 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), is_poly_function<PolyFun>::value>
127 {};
128
129 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
130 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5), mpl::size_t<sizeof(poly_function_t)> >
131 {
132 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> function_type;
133 typedef typename function_type::result_type result_type;
134 };
135
136 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
137 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), true>
138 {
139 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> type;
140 };
141
142 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
143 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), false>
144 {
145 typedef PolyFun type;
146 };
147
148 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
149 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5)>
150 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), is_poly_function<PolyFun>::value>
151 {};
152
153 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
154 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), mpl::size_t<sizeof(poly_function_t)> >
155 {
156 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> function_type;
157 typedef typename function_type::result_type result_type;
158 };
159
160 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
161 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), true>
162 {
163 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> type;
164 };
165
166 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
167 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), false>
168 {
169 typedef PolyFun type;
170 };
171
172 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
173 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
174 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), is_poly_function<PolyFun>::value>
175 {};
176
177 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
178 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), mpl::size_t<sizeof(poly_function_t)> >
179 {
180 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> function_type;
181 typedef typename function_type::result_type result_type;
182 };
183
184 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
185 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), true>
186 {
187 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> type;
188 };
189
190 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
191 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), false>
192 {
193 typedef PolyFun type;
194 };
195
196 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
197 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
198 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), is_poly_function<PolyFun>::value>
199 {};
200
201 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
202 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), mpl::size_t<sizeof(poly_function_t)> >
203 {
204 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> function_type;
205 typedef typename function_type::result_type result_type;
206 };
207
208 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
209 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), true>
210 {
211 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> type;
212 };
213
214 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
215 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), false>
216 {
217 typedef PolyFun type;
218 };
219
220 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
221 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
222 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), is_poly_function<PolyFun>::value>
223 {};
224
225 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
226 struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), mpl::size_t<sizeof(poly_function_t)> >
227 {
228 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> function_type;
229 typedef typename function_type::result_type result_type;
230 };
231
232 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
233 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), true>
234 {
235 typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> type;
236 };
237
238 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
239 struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), false>
240 {
241 typedef PolyFun type;
242 };
243
244 template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
245 struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
246 : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), is_poly_function<PolyFun>::value>
247 {};
248