|
williamr@4
|
1 |
|
|
williamr@4
|
2 |
#ifndef BOOST_MPL_TRANSFORM_HPP_INCLUDED
|
|
williamr@4
|
3 |
#define BOOST_MPL_TRANSFORM_HPP_INCLUDED
|
|
williamr@4
|
4 |
|
|
williamr@4
|
5 |
// Copyright Aleksey Gurtovoy 2000-2004
|
|
williamr@4
|
6 |
// Copyright David Abrahams 2003-2004
|
|
williamr@4
|
7 |
//
|
|
williamr@4
|
8 |
// Distributed under the Boost Software License, Version 1.0.
|
|
williamr@4
|
9 |
// (See accompanying file LICENSE_1_0.txt or copy at
|
|
williamr@4
|
10 |
// http://www.boost.org/LICENSE_1_0.txt)
|
|
williamr@4
|
11 |
//
|
|
williamr@4
|
12 |
// See http://www.boost.org/libs/mpl for documentation.
|
|
williamr@4
|
13 |
|
|
williamr@4
|
14 |
// $Source: /cvsroot/boost/boost/boost/mpl/transform.hpp,v $
|
|
williamr@4
|
15 |
// $Date: 2004/12/20 17:18:17 $
|
|
williamr@4
|
16 |
// $Revision: 1.10 $
|
|
williamr@4
|
17 |
|
|
williamr@4
|
18 |
#include <boost/mpl/fold.hpp>
|
|
williamr@4
|
19 |
#include <boost/mpl/reverse_fold.hpp>
|
|
williamr@4
|
20 |
#include <boost/mpl/pair_view.hpp>
|
|
williamr@4
|
21 |
#include <boost/mpl/is_sequence.hpp>
|
|
williamr@4
|
22 |
#include <boost/mpl/eval_if.hpp>
|
|
williamr@4
|
23 |
#include <boost/mpl/lambda.hpp>
|
|
williamr@4
|
24 |
#include <boost/mpl/bind.hpp>
|
|
williamr@4
|
25 |
#include <boost/mpl/or.hpp>
|
|
williamr@4
|
26 |
#include <boost/mpl/not.hpp>
|
|
williamr@4
|
27 |
#include <boost/mpl/aux_/na.hpp>
|
|
williamr@4
|
28 |
#include <boost/mpl/aux_/inserter_algorithm.hpp>
|
|
williamr@4
|
29 |
|
|
williamr@4
|
30 |
namespace boost { namespace mpl {
|
|
williamr@4
|
31 |
|
|
williamr@4
|
32 |
namespace aux {
|
|
williamr@4
|
33 |
|
|
williamr@4
|
34 |
template<
|
|
williamr@4
|
35 |
typename Seq
|
|
williamr@4
|
36 |
, typename Op
|
|
williamr@4
|
37 |
, typename In
|
|
williamr@4
|
38 |
>
|
|
williamr@4
|
39 |
struct transform1_impl
|
|
williamr@4
|
40 |
: fold<
|
|
williamr@4
|
41 |
Seq
|
|
williamr@4
|
42 |
, typename In::state
|
|
williamr@4
|
43 |
, bind2< typename lambda< typename In::operation >::type
|
|
williamr@4
|
44 |
, _1
|
|
williamr@4
|
45 |
, bind1< typename lambda<Op>::type, _2>
|
|
williamr@4
|
46 |
>
|
|
williamr@4
|
47 |
>
|
|
williamr@4
|
48 |
{
|
|
williamr@4
|
49 |
};
|
|
williamr@4
|
50 |
|
|
williamr@4
|
51 |
template<
|
|
williamr@4
|
52 |
typename Seq
|
|
williamr@4
|
53 |
, typename Op
|
|
williamr@4
|
54 |
, typename In
|
|
williamr@4
|
55 |
>
|
|
williamr@4
|
56 |
struct reverse_transform1_impl
|
|
williamr@4
|
57 |
: reverse_fold<
|
|
williamr@4
|
58 |
Seq
|
|
williamr@4
|
59 |
, typename In::state
|
|
williamr@4
|
60 |
, bind2< typename lambda< typename In::operation >::type
|
|
williamr@4
|
61 |
, _1
|
|
williamr@4
|
62 |
, bind1< typename lambda<Op>::type, _2>
|
|
williamr@4
|
63 |
>
|
|
williamr@4
|
64 |
>
|
|
williamr@4
|
65 |
{
|
|
williamr@4
|
66 |
};
|
|
williamr@4
|
67 |
|
|
williamr@4
|
68 |
template<
|
|
williamr@4
|
69 |
typename Seq1
|
|
williamr@4
|
70 |
, typename Seq2
|
|
williamr@4
|
71 |
, typename Op
|
|
williamr@4
|
72 |
, typename In
|
|
williamr@4
|
73 |
>
|
|
williamr@4
|
74 |
struct transform2_impl
|
|
williamr@4
|
75 |
: fold<
|
|
williamr@4
|
76 |
pair_view<Seq1,Seq2>
|
|
williamr@4
|
77 |
, typename In::state
|
|
williamr@4
|
78 |
, bind2< typename lambda< typename In::operation >::type
|
|
williamr@4
|
79 |
, _1
|
|
williamr@4
|
80 |
, bind2<
|
|
williamr@4
|
81 |
typename lambda<Op>::type
|
|
williamr@4
|
82 |
, bind1<first<>,_2>
|
|
williamr@4
|
83 |
, bind1<second<>,_2>
|
|
williamr@4
|
84 |
>
|
|
williamr@4
|
85 |
>
|
|
williamr@4
|
86 |
>
|
|
williamr@4
|
87 |
{
|
|
williamr@4
|
88 |
};
|
|
williamr@4
|
89 |
|
|
williamr@4
|
90 |
template<
|
|
williamr@4
|
91 |
typename Seq1
|
|
williamr@4
|
92 |
, typename Seq2
|
|
williamr@4
|
93 |
, typename Op
|
|
williamr@4
|
94 |
, typename In
|
|
williamr@4
|
95 |
>
|
|
williamr@4
|
96 |
struct reverse_transform2_impl
|
|
williamr@4
|
97 |
: reverse_fold<
|
|
williamr@4
|
98 |
pair_view<Seq1,Seq2>
|
|
williamr@4
|
99 |
, typename In::state
|
|
williamr@4
|
100 |
, bind2< typename lambda< typename In::operation >::type
|
|
williamr@4
|
101 |
, _1
|
|
williamr@4
|
102 |
, bind2< typename lambda< Op >::type
|
|
williamr@4
|
103 |
, bind1<first<>,_2>
|
|
williamr@4
|
104 |
, bind1<second<>,_2>
|
|
williamr@4
|
105 |
>
|
|
williamr@4
|
106 |
>
|
|
williamr@4
|
107 |
>
|
|
williamr@4
|
108 |
{
|
|
williamr@4
|
109 |
};
|
|
williamr@4
|
110 |
|
|
williamr@4
|
111 |
} // namespace aux
|
|
williamr@4
|
112 |
|
|
williamr@4
|
113 |
BOOST_MPL_AUX_INSERTER_ALGORITHM_DEF(3, transform1)
|
|
williamr@4
|
114 |
BOOST_MPL_AUX_INSERTER_ALGORITHM_DEF(4, transform2)
|
|
williamr@4
|
115 |
|
|
williamr@4
|
116 |
#define AUX778076_TRANSFORM_DEF(name) \
|
|
williamr@4
|
117 |
template< \
|
|
williamr@4
|
118 |
typename BOOST_MPL_AUX_NA_PARAM(Seq1) \
|
|
williamr@4
|
119 |
, typename BOOST_MPL_AUX_NA_PARAM(Seq2OrOperation) \
|
|
williamr@4
|
120 |
, typename BOOST_MPL_AUX_NA_PARAM(OperationOrInserter) \
|
|
williamr@4
|
121 |
, typename BOOST_MPL_AUX_NA_PARAM(Inserter) \
|
|
williamr@4
|
122 |
> \
|
|
williamr@4
|
123 |
struct name \
|
|
williamr@4
|
124 |
{ \
|
|
williamr@4
|
125 |
typedef typename eval_if< \
|
|
williamr@4
|
126 |
or_< \
|
|
williamr@4
|
127 |
is_na<OperationOrInserter> \
|
|
williamr@4
|
128 |
, is_lambda_expression< Seq2OrOperation > \
|
|
williamr@4
|
129 |
, not_< is_sequence<Seq2OrOperation> > \
|
|
williamr@4
|
130 |
> \
|
|
williamr@4
|
131 |
, name##1<Seq1,Seq2OrOperation,OperationOrInserter> \
|
|
williamr@4
|
132 |
, name##2<Seq1,Seq2OrOperation,OperationOrInserter,Inserter> \
|
|
williamr@4
|
133 |
>::type type; \
|
|
williamr@4
|
134 |
}; \
|
|
williamr@4
|
135 |
BOOST_MPL_AUX_NA_SPEC(4, name) \
|
|
williamr@4
|
136 |
/**/
|
|
williamr@4
|
137 |
|
|
williamr@4
|
138 |
AUX778076_TRANSFORM_DEF(transform)
|
|
williamr@4
|
139 |
AUX778076_TRANSFORM_DEF(reverse_transform)
|
|
williamr@4
|
140 |
|
|
williamr@4
|
141 |
#undef AUX778076_TRANSFORM_DEF
|
|
williamr@4
|
142 |
|
|
williamr@4
|
143 |
}}
|
|
williamr@4
|
144 |
|
|
williamr@4
|
145 |
#endif // BOOST_MPL_TRANSFORM_HPP_INCLUDED
|