1 // TR1 functional -*- C++ -*-
3 // Copyright (C) 2005 Free Software Foundation, Inc.
4 // Written by Douglas Gregor <doug.gregor -at- gmail.com>
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 2, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING. If not, write to the Free
19 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
22 // As a special exception, you may use this file as part of a free software
23 // library without restriction. Specifically, if other files instantiate
24 // templates or use macros or inline functions from this file, or you compile
25 // this file and link it with other files to produce an executable, this
26 // file does not by itself cause the resulting executable to be covered by
27 // the GNU General Public License. This exception does not however
28 // invalidate any other reasons why the executable file might be covered by
29 // the GNU General Public License.
31 /** @file mu_iterate.h
32 * This is an internal header file, included by other library headers.
33 * You should not attempt to use it directly.
36 // Determine the result type when we pass the arguments along. This
37 // involves passing along the cv-qualifiers placed on _Mu and
38 // unwrapping the argument bundle.
39 template<typename _CVMu
, typename _CVArg
40 _GLIBCXX_COMMA _GLIBCXX_TEMPLATE_PARAMS
>
41 class result
<_CVMu(_CVArg
, tuple
<_GLIBCXX_TEMPLATE_ARGS
>)>
42 : public result_of
<_CVArg(_GLIBCXX_TEMPLATE_ARGS
)> { };
44 template<typename _CVArg _GLIBCXX_COMMA _GLIBCXX_TEMPLATE_PARAMS
>
45 typename result_of
<_CVArg(_GLIBCXX_TEMPLATE_ARGS
)>::type
46 operator()(_CVArg
& __arg
, const tuple
<_GLIBCXX_TEMPLATE_ARGS
>& __tuple
)
49 return __arg(_GLIBCXX_MU_GET_TUPLE_ARGS
);