1*38fd1498Szrj // -*- C++ -*-
2*38fd1498Szrj
3*38fd1498Szrj // Copyright (C) 2005-2018 Free Software Foundation, Inc.
4*38fd1498Szrj //
5*38fd1498Szrj // This file is part of the GNU ISO C++ Library. This library is free
6*38fd1498Szrj // software; you can redistribute it and/or modify it under the
7*38fd1498Szrj // terms of the GNU General Public License as published by the
8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj // any later version.
10*38fd1498Szrj
11*38fd1498Szrj // This library is distributed in the hope that it will be useful,
12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14*38fd1498Szrj // GNU General Public License for more details.
15*38fd1498Szrj
16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional
17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version
18*38fd1498Szrj // 3.1, as published by the Free Software Foundation.
19*38fd1498Szrj
20*38fd1498Szrj // You should have received a copy of the GNU General Public License and
21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program;
22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23*38fd1498Szrj // <http://www.gnu.org/licenses/>.
24*38fd1498Szrj
25*38fd1498Szrj // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
26*38fd1498Szrj
27*38fd1498Szrj // Permission to use, copy, modify, sell, and distribute this software
28*38fd1498Szrj // is hereby granted without fee, provided that the above copyright
29*38fd1498Szrj // notice appears in all copies, and that both that copyright notice and
30*38fd1498Szrj // this permission notice appear in supporting documentation. None of
31*38fd1498Szrj // the above authors, nor IBM Haifa Research Laboratories, make any
32*38fd1498Szrj // representation about the suitability of this software for any
33*38fd1498Szrj // purpose. It is provided "as is" without express or implied warranty.
34*38fd1498Szrj
35*38fd1498Szrj /**
36*38fd1498Szrj * @file ext/typelist.h
37*38fd1498Szrj * This file is a GNU extension to the Standard C++ Library.
38*38fd1498Szrj *
39*38fd1498Szrj * Contains typelist_chain definitions.
40*38fd1498Szrj * Typelists are an idea by Andrei Alexandrescu.
41*38fd1498Szrj */
42*38fd1498Szrj
43*38fd1498Szrj #ifndef _TYPELIST_H
44*38fd1498Szrj #define _TYPELIST_H 1
45*38fd1498Szrj
46*38fd1498Szrj #include <ext/type_traits.h>
47*38fd1498Szrj
_GLIBCXX_VISIBILITY(default)48*38fd1498Szrj namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
49*38fd1498Szrj {
50*38fd1498Szrj _GLIBCXX_BEGIN_NAMESPACE_VERSION
51*38fd1498Szrj
52*38fd1498Szrj /** @namespace __gnu_cxx::typelist
53*38fd1498Szrj * @brief GNU typelist extensions for public compile-time use.
54*38fd1498Szrj */
55*38fd1498Szrj namespace typelist
56*38fd1498Szrj {
57*38fd1498Szrj struct null_type { };
58*38fd1498Szrj
59*38fd1498Szrj template<typename Root>
60*38fd1498Szrj struct node
61*38fd1498Szrj {
62*38fd1498Szrj typedef Root root;
63*38fd1498Szrj };
64*38fd1498Szrj
65*38fd1498Szrj // Forward declarations of functors.
66*38fd1498Szrj template<typename Hd, typename Typelist>
67*38fd1498Szrj struct chain
68*38fd1498Szrj {
69*38fd1498Szrj typedef Hd head;
70*38fd1498Szrj typedef Typelist tail;
71*38fd1498Szrj };
72*38fd1498Szrj
73*38fd1498Szrj // Apply all typelist types to unary functor.
74*38fd1498Szrj template<typename Fn, typename Typelist>
75*38fd1498Szrj void
76*38fd1498Szrj apply(Fn&, Typelist);
77*38fd1498Szrj
78*38fd1498Szrj /// Apply all typelist types to generator functor.
79*38fd1498Szrj template<typename Gn, typename Typelist>
80*38fd1498Szrj void
81*38fd1498Szrj apply_generator(Gn&, Typelist);
82*38fd1498Szrj
83*38fd1498Szrj // Apply all typelist types and values to generator functor.
84*38fd1498Szrj template<typename Gn, typename TypelistT, typename TypelistV>
85*38fd1498Szrj void
86*38fd1498Szrj apply_generator(Gn&, TypelistT, TypelistV);
87*38fd1498Szrj
88*38fd1498Szrj template<typename Typelist0, typename Typelist1>
89*38fd1498Szrj struct append;
90*38fd1498Szrj
91*38fd1498Szrj template<typename Typelist_Typelist>
92*38fd1498Szrj struct append_typelist;
93*38fd1498Szrj
94*38fd1498Szrj template<typename Typelist, typename T>
95*38fd1498Szrj struct contains;
96*38fd1498Szrj
97*38fd1498Szrj template<typename Typelist, template<typename T> class Pred>
98*38fd1498Szrj struct filter;
99*38fd1498Szrj
100*38fd1498Szrj template<typename Typelist, int i>
101*38fd1498Szrj struct at_index;
102*38fd1498Szrj
103*38fd1498Szrj template<typename Typelist, template<typename T> class Transform>
104*38fd1498Szrj struct transform;
105*38fd1498Szrj
106*38fd1498Szrj template<typename Typelist_Typelist>
107*38fd1498Szrj struct flatten;
108*38fd1498Szrj
109*38fd1498Szrj template<typename Typelist>
110*38fd1498Szrj struct from_first;
111*38fd1498Szrj
112*38fd1498Szrj template<typename T1>
113*38fd1498Szrj struct create1;
114*38fd1498Szrj
115*38fd1498Szrj template<typename T1, typename T2>
116*38fd1498Szrj struct create2;
117*38fd1498Szrj
118*38fd1498Szrj template<typename T1, typename T2, typename T3>
119*38fd1498Szrj struct create3;
120*38fd1498Szrj
121*38fd1498Szrj template<typename T1, typename T2, typename T3, typename T4>
122*38fd1498Szrj struct create4;
123*38fd1498Szrj
124*38fd1498Szrj template<typename T1, typename T2, typename T3, typename T4, typename T5>
125*38fd1498Szrj struct create5;
126*38fd1498Szrj
127*38fd1498Szrj template<typename T1, typename T2, typename T3,
128*38fd1498Szrj typename T4, typename T5, typename T6>
129*38fd1498Szrj struct create6;
130*38fd1498Szrj
131*38fd1498Szrj namespace detail
132*38fd1498Szrj {
133*38fd1498Szrj template<typename Fn, typename Typelist_Chain>
134*38fd1498Szrj struct apply_;
135*38fd1498Szrj
136*38fd1498Szrj template<typename Fn, typename Hd, typename Tl>
137*38fd1498Szrj struct apply_<Fn, chain<Hd, Tl> >
138*38fd1498Szrj {
139*38fd1498Szrj void
140*38fd1498Szrj operator()(Fn& f)
141*38fd1498Szrj {
142*38fd1498Szrj f.operator()(Hd());
143*38fd1498Szrj apply_<Fn, Tl> next;
144*38fd1498Szrj next(f);
145*38fd1498Szrj }
146*38fd1498Szrj };
147*38fd1498Szrj
148*38fd1498Szrj template<typename Fn>
149*38fd1498Szrj struct apply_<Fn, null_type>
150*38fd1498Szrj {
151*38fd1498Szrj void
152*38fd1498Szrj operator()(Fn&) { }
153*38fd1498Szrj };
154*38fd1498Szrj
155*38fd1498Szrj template<typename Gn, typename Typelist_Chain>
156*38fd1498Szrj struct apply_generator1_;
157*38fd1498Szrj
158*38fd1498Szrj template<typename Gn, typename Hd, typename Tl>
159*38fd1498Szrj struct apply_generator1_<Gn, chain<Hd, Tl> >
160*38fd1498Szrj {
161*38fd1498Szrj void
162*38fd1498Szrj operator()(Gn& g)
163*38fd1498Szrj {
164*38fd1498Szrj g.template operator()<Hd>();
165*38fd1498Szrj apply_generator1_<Gn, Tl> next;
166*38fd1498Szrj next(g);
167*38fd1498Szrj }
168*38fd1498Szrj };
169*38fd1498Szrj
170*38fd1498Szrj template<typename Gn>
171*38fd1498Szrj struct apply_generator1_<Gn, null_type>
172*38fd1498Szrj {
173*38fd1498Szrj void
174*38fd1498Szrj operator()(Gn&) { }
175*38fd1498Szrj };
176*38fd1498Szrj
177*38fd1498Szrj template<typename Gn, typename TypelistT_Chain, typename TypelistV_Chain>
178*38fd1498Szrj struct apply_generator2_;
179*38fd1498Szrj
180*38fd1498Szrj template<typename Gn, typename Hd1, typename TlT, typename Hd2, typename TlV>
181*38fd1498Szrj struct apply_generator2_<Gn, chain<Hd1, TlT>, chain<Hd2, TlV> >
182*38fd1498Szrj {
183*38fd1498Szrj void
184*38fd1498Szrj operator()(Gn& g)
185*38fd1498Szrj {
186*38fd1498Szrj g.template operator()<Hd1, Hd2>();
187*38fd1498Szrj apply_generator2_<Gn, TlT, TlV> next;
188*38fd1498Szrj next(g);
189*38fd1498Szrj }
190*38fd1498Szrj };
191*38fd1498Szrj
192*38fd1498Szrj template<typename Gn>
193*38fd1498Szrj struct apply_generator2_<Gn, null_type, null_type>
194*38fd1498Szrj {
195*38fd1498Szrj void
196*38fd1498Szrj operator()(Gn&) { }
197*38fd1498Szrj };
198*38fd1498Szrj
199*38fd1498Szrj template<typename Typelist_Chain0, typename Typelist_Chain1>
200*38fd1498Szrj struct append_;
201*38fd1498Szrj
202*38fd1498Szrj template<typename Hd, typename Tl, typename Typelist_Chain>
203*38fd1498Szrj struct append_<chain<Hd, Tl>, Typelist_Chain>
204*38fd1498Szrj {
205*38fd1498Szrj private:
206*38fd1498Szrj typedef append_<Tl, Typelist_Chain> append_type;
207*38fd1498Szrj
208*38fd1498Szrj public:
209*38fd1498Szrj typedef chain<Hd, typename append_type::type> type;
210*38fd1498Szrj };
211*38fd1498Szrj
212*38fd1498Szrj template<typename Typelist_Chain>
213*38fd1498Szrj struct append_<null_type, Typelist_Chain>
214*38fd1498Szrj {
215*38fd1498Szrj typedef Typelist_Chain type;
216*38fd1498Szrj };
217*38fd1498Szrj
218*38fd1498Szrj template<typename Typelist_Chain>
219*38fd1498Szrj struct append_<Typelist_Chain, null_type>
220*38fd1498Szrj {
221*38fd1498Szrj typedef Typelist_Chain type;
222*38fd1498Szrj };
223*38fd1498Szrj
224*38fd1498Szrj template<>
225*38fd1498Szrj struct append_<null_type, null_type>
226*38fd1498Szrj {
227*38fd1498Szrj typedef null_type type;
228*38fd1498Szrj };
229*38fd1498Szrj
230*38fd1498Szrj template<typename Typelist_Typelist_Chain>
231*38fd1498Szrj struct append_typelist_;
232*38fd1498Szrj
233*38fd1498Szrj template<typename Hd>
234*38fd1498Szrj struct append_typelist_<chain<Hd, null_type> >
235*38fd1498Szrj {
236*38fd1498Szrj typedef chain<Hd, null_type> type;
237*38fd1498Szrj };
238*38fd1498Szrj
239*38fd1498Szrj template<typename Hd, typename Tl>
240*38fd1498Szrj struct append_typelist_<chain< Hd, Tl> >
241*38fd1498Szrj {
242*38fd1498Szrj private:
243*38fd1498Szrj typedef typename append_typelist_<Tl>::type rest_type;
244*38fd1498Szrj
245*38fd1498Szrj public:
246*38fd1498Szrj typedef typename append<Hd, node<rest_type> >::type::root type;
247*38fd1498Szrj };
248*38fd1498Szrj
249*38fd1498Szrj template<typename Typelist_Chain, typename T>
250*38fd1498Szrj struct contains_;
251*38fd1498Szrj
252*38fd1498Szrj template<typename T>
253*38fd1498Szrj struct contains_<null_type, T>
254*38fd1498Szrj {
255*38fd1498Szrj enum
256*38fd1498Szrj {
257*38fd1498Szrj value = false
258*38fd1498Szrj };
259*38fd1498Szrj };
260*38fd1498Szrj
261*38fd1498Szrj template<typename Hd, typename Tl, typename T>
262*38fd1498Szrj struct contains_<chain<Hd, Tl>, T>
263*38fd1498Szrj {
264*38fd1498Szrj enum
265*38fd1498Szrj {
266*38fd1498Szrj value = contains_<Tl, T>::value
267*38fd1498Szrj };
268*38fd1498Szrj };
269*38fd1498Szrj
270*38fd1498Szrj template<typename Tl, typename T>
271*38fd1498Szrj struct contains_<chain<T, Tl>, T>
272*38fd1498Szrj {
273*38fd1498Szrj enum
274*38fd1498Szrj {
275*38fd1498Szrj value = true
276*38fd1498Szrj };
277*38fd1498Szrj };
278*38fd1498Szrj
279*38fd1498Szrj template<typename Typelist_Chain, template<typename T> class Pred>
280*38fd1498Szrj struct chain_filter_;
281*38fd1498Szrj
282*38fd1498Szrj template<template<typename T> class Pred>
283*38fd1498Szrj struct chain_filter_<null_type, Pred>
284*38fd1498Szrj {
285*38fd1498Szrj typedef null_type type;
286*38fd1498Szrj };
287*38fd1498Szrj
288*38fd1498Szrj template<typename Hd, typename Tl, template<typename T> class Pred>
289*38fd1498Szrj struct chain_filter_<chain<Hd, Tl>, Pred>
290*38fd1498Szrj {
291*38fd1498Szrj private:
292*38fd1498Szrj enum
293*38fd1498Szrj {
294*38fd1498Szrj include_hd = Pred<Hd>::value
295*38fd1498Szrj };
296*38fd1498Szrj
297*38fd1498Szrj typedef typename chain_filter_<Tl, Pred>::type rest_type;
298*38fd1498Szrj typedef chain<Hd, rest_type> chain_type;
299*38fd1498Szrj
300*38fd1498Szrj public:
301*38fd1498Szrj typedef typename __conditional_type<include_hd, chain_type, rest_type>::__type type;
302*38fd1498Szrj };
303*38fd1498Szrj
304*38fd1498Szrj template<typename Typelist_Chain, int i>
305*38fd1498Szrj struct chain_at_index_;
306*38fd1498Szrj
307*38fd1498Szrj template<typename Hd, typename Tl>
308*38fd1498Szrj struct chain_at_index_<chain<Hd, Tl>, 0>
309*38fd1498Szrj {
310*38fd1498Szrj typedef Hd type;
311*38fd1498Szrj };
312*38fd1498Szrj
313*38fd1498Szrj template<typename Hd, typename Tl, int i>
314*38fd1498Szrj struct chain_at_index_<chain<Hd, Tl>, i>
315*38fd1498Szrj {
316*38fd1498Szrj typedef typename chain_at_index_<Tl, i - 1>::type type;
317*38fd1498Szrj };
318*38fd1498Szrj
319*38fd1498Szrj template<class Typelist_Chain, template<typename T> class Transform>
320*38fd1498Szrj struct chain_transform_;
321*38fd1498Szrj
322*38fd1498Szrj template<template<typename T> class Transform>
323*38fd1498Szrj struct chain_transform_<null_type, Transform>
324*38fd1498Szrj {
325*38fd1498Szrj typedef null_type type;
326*38fd1498Szrj };
327*38fd1498Szrj
328*38fd1498Szrj template<class Hd, class Tl, template<typename T> class Transform>
329*38fd1498Szrj struct chain_transform_<chain<Hd, Tl>, Transform>
330*38fd1498Szrj {
331*38fd1498Szrj private:
332*38fd1498Szrj typedef typename chain_transform_<Tl, Transform>::type rest_type;
333*38fd1498Szrj typedef typename Transform<Hd>::type transform_type;
334*38fd1498Szrj
335*38fd1498Szrj public:
336*38fd1498Szrj typedef chain<transform_type, rest_type> type;
337*38fd1498Szrj };
338*38fd1498Szrj
339*38fd1498Szrj template<typename Typelist_Typelist_Chain>
340*38fd1498Szrj struct chain_flatten_;
341*38fd1498Szrj
342*38fd1498Szrj template<typename Hd_Tl>
343*38fd1498Szrj struct chain_flatten_<chain<Hd_Tl, null_type> >
344*38fd1498Szrj {
345*38fd1498Szrj typedef typename Hd_Tl::root type;
346*38fd1498Szrj };
347*38fd1498Szrj
348*38fd1498Szrj template<typename Hd_Typelist, class Tl_Typelist>
349*38fd1498Szrj struct chain_flatten_<chain<Hd_Typelist, Tl_Typelist> >
350*38fd1498Szrj {
351*38fd1498Szrj private:
352*38fd1498Szrj typedef typename chain_flatten_<Tl_Typelist>::type rest_type;
353*38fd1498Szrj typedef append<Hd_Typelist, node<rest_type> > append_type;
354*38fd1498Szrj public:
355*38fd1498Szrj typedef typename append_type::type::root type;
356*38fd1498Szrj };
357*38fd1498Szrj } // namespace detail
358*38fd1498Szrj
359*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN1(X0) __gnu_cxx::typelist::chain<X0, __gnu_cxx::typelist::null_type>
360*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN2(X0, X1) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN1(X1) >
361*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN3(X0, X1, X2) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN2(X1, X2) >
362*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN4(X0, X1, X2, X3) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN3(X1, X2, X3) >
363*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN5(X0, X1, X2, X3, X4) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN4(X1, X2, X3, X4) >
364*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN6(X0, X1, X2, X3, X4, X5) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) >
365*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN7(X0, X1, X2, X3, X4, X5, X6) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN6(X1, X2, X3, X4, X5, X6) >
366*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN8(X0, X1, X2, X3, X4, X5, X6, X7) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN7(X1, X2, X3, X4, X5, X6, X7) >
367*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN9(X0, X1, X2, X3, X4, X5, X6, X7, X8) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN8(X1, X2, X3, X4, X5, X6, X7, X8) >
368*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN10(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN9(X1, X2, X3, X4, X5, X6, X7, X8, X9) >
369*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN11(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN10(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) >
370*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN12(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN11(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) >
371*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN13(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN12(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) >
372*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN14(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN13(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) >
373*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN15(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN14(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) >
374*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN16(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN15(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) >
375*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN17(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN16(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) >
376*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN18(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN17(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) >
377*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN19(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN18(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) >
378*38fd1498Szrj #define _GLIBCXX_TYPELIST_CHAIN20(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN19(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) >
379*38fd1498Szrj
380*38fd1498Szrj template<typename Fn, typename Typelist>
381*38fd1498Szrj void
382*38fd1498Szrj apply(Fn& fn, Typelist)
383*38fd1498Szrj {
384*38fd1498Szrj detail::apply_<Fn, typename Typelist::root> a;
385*38fd1498Szrj a(fn);
386*38fd1498Szrj }
387*38fd1498Szrj
388*38fd1498Szrj template<typename Fn, typename Typelist>
389*38fd1498Szrj void
390*38fd1498Szrj apply_generator(Fn& fn, Typelist)
391*38fd1498Szrj {
392*38fd1498Szrj detail::apply_generator1_<Fn, typename Typelist::root> a;
393*38fd1498Szrj a(fn);
394*38fd1498Szrj }
395*38fd1498Szrj
396*38fd1498Szrj template<typename Fn, typename TypelistT, typename TypelistV>
397*38fd1498Szrj void
398*38fd1498Szrj apply_generator(Fn& fn, TypelistT, TypelistV)
399*38fd1498Szrj {
400*38fd1498Szrj typedef typename TypelistT::root rootT;
401*38fd1498Szrj typedef typename TypelistV::root rootV;
402*38fd1498Szrj detail::apply_generator2_<Fn, rootT, rootV> a;
403*38fd1498Szrj a(fn);
404*38fd1498Szrj }
405*38fd1498Szrj
406*38fd1498Szrj template<typename Typelist0, typename Typelist1>
407*38fd1498Szrj struct append
408*38fd1498Szrj {
409*38fd1498Szrj private:
410*38fd1498Szrj typedef typename Typelist0::root root0_type;
411*38fd1498Szrj typedef typename Typelist1::root root1_type;
412*38fd1498Szrj typedef detail::append_<root0_type, root1_type> append_type;
413*38fd1498Szrj
414*38fd1498Szrj public:
415*38fd1498Szrj typedef node<typename append_type::type> type;
416*38fd1498Szrj };
417*38fd1498Szrj
418*38fd1498Szrj template<typename Typelist_Typelist>
419*38fd1498Szrj struct append_typelist
420*38fd1498Szrj {
421*38fd1498Szrj private:
422*38fd1498Szrj typedef typename Typelist_Typelist::root root_type;
423*38fd1498Szrj typedef detail::append_typelist_<root_type> append_type;
424*38fd1498Szrj
425*38fd1498Szrj public:
426*38fd1498Szrj typedef node<typename append_type::type> type;
427*38fd1498Szrj };
428*38fd1498Szrj
429*38fd1498Szrj template<typename Typelist, typename T>
430*38fd1498Szrj struct contains
431*38fd1498Szrj {
432*38fd1498Szrj private:
433*38fd1498Szrj typedef typename Typelist::root root_type;
434*38fd1498Szrj
435*38fd1498Szrj public:
436*38fd1498Szrj enum
437*38fd1498Szrj {
438*38fd1498Szrj value = detail::contains_<root_type, T>::value
439*38fd1498Szrj };
440*38fd1498Szrj };
441*38fd1498Szrj
442*38fd1498Szrj template<typename Typelist, template<typename T> class Pred>
443*38fd1498Szrj struct filter
444*38fd1498Szrj {
445*38fd1498Szrj private:
446*38fd1498Szrj typedef typename Typelist::root root_type;
447*38fd1498Szrj typedef detail::chain_filter_<root_type, Pred> filter_type;
448*38fd1498Szrj
449*38fd1498Szrj public:
450*38fd1498Szrj typedef node<typename filter_type::type> type;
451*38fd1498Szrj };
452*38fd1498Szrj
453*38fd1498Szrj template<typename Typelist, int i>
454*38fd1498Szrj struct at_index
455*38fd1498Szrj {
456*38fd1498Szrj private:
457*38fd1498Szrj typedef typename Typelist::root root_type;
458*38fd1498Szrj typedef detail::chain_at_index_<root_type, i> index_type;
459*38fd1498Szrj
460*38fd1498Szrj public:
461*38fd1498Szrj typedef typename index_type::type type;
462*38fd1498Szrj };
463*38fd1498Szrj
464*38fd1498Szrj template<typename Typelist, template<typename T> class Transform>
465*38fd1498Szrj struct transform
466*38fd1498Szrj {
467*38fd1498Szrj private:
468*38fd1498Szrj typedef typename Typelist::root root_type;
469*38fd1498Szrj typedef detail::chain_transform_<root_type, Transform> transform_type;
470*38fd1498Szrj
471*38fd1498Szrj public:
472*38fd1498Szrj typedef node<typename transform_type::type> type;
473*38fd1498Szrj };
474*38fd1498Szrj
475*38fd1498Szrj template<typename Typelist_Typelist>
476*38fd1498Szrj struct flatten
477*38fd1498Szrj {
478*38fd1498Szrj private:
479*38fd1498Szrj typedef typename Typelist_Typelist::root root_type;
480*38fd1498Szrj typedef typename detail::chain_flatten_<root_type>::type flatten_type;
481*38fd1498Szrj
482*38fd1498Szrj public:
483*38fd1498Szrj typedef node<flatten_type> type;
484*38fd1498Szrj };
485*38fd1498Szrj
486*38fd1498Szrj template<typename Typelist>
487*38fd1498Szrj struct from_first
488*38fd1498Szrj {
489*38fd1498Szrj private:
490*38fd1498Szrj typedef typename at_index<Typelist, 0>::type first_type;
491*38fd1498Szrj
492*38fd1498Szrj public:
493*38fd1498Szrj typedef node<chain<first_type, null_type> > type;
494*38fd1498Szrj };
495*38fd1498Szrj
496*38fd1498Szrj template<typename T1>
497*38fd1498Szrj struct create1
498*38fd1498Szrj {
499*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN1(T1)> type;
500*38fd1498Szrj };
501*38fd1498Szrj
502*38fd1498Szrj template<typename T1, typename T2>
503*38fd1498Szrj struct create2
504*38fd1498Szrj {
505*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN2(T1,T2)> type;
506*38fd1498Szrj };
507*38fd1498Szrj
508*38fd1498Szrj template<typename T1, typename T2, typename T3>
509*38fd1498Szrj struct create3
510*38fd1498Szrj {
511*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN3(T1,T2,T3)> type;
512*38fd1498Szrj };
513*38fd1498Szrj
514*38fd1498Szrj template<typename T1, typename T2, typename T3, typename T4>
515*38fd1498Szrj struct create4
516*38fd1498Szrj {
517*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN4(T1,T2,T3,T4)> type;
518*38fd1498Szrj };
519*38fd1498Szrj
520*38fd1498Szrj template<typename T1, typename T2, typename T3,
521*38fd1498Szrj typename T4, typename T5>
522*38fd1498Szrj struct create5
523*38fd1498Szrj {
524*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN5(T1,T2,T3,T4,T5)> type;
525*38fd1498Szrj };
526*38fd1498Szrj
527*38fd1498Szrj template<typename T1, typename T2, typename T3,
528*38fd1498Szrj typename T4, typename T5, typename T6>
529*38fd1498Szrj struct create6
530*38fd1498Szrj {
531*38fd1498Szrj typedef node<_GLIBCXX_TYPELIST_CHAIN6(T1,T2,T3,T4,T5,T6)> type;
532*38fd1498Szrj };
533*38fd1498Szrj } // namespace typelist
534*38fd1498Szrj _GLIBCXX_END_NAMESPACE_VERSION
535*38fd1498Szrj } // namespace
536*38fd1498Szrj
537*38fd1498Szrj
538*38fd1498Szrj #endif
539