12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- /*=============================================================================
- Copyright (c) 2001-2011 Joel de Guzman
- Copyright (c) 2018 Kohei Takahashi
- Distributed under the Boost Software License, Version 1.0. (See accompanying
- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- ==============================================================================*/
- #if !defined(FUSION_VALUE_OF_IMPL_07162005_1030)
- #define FUSION_VALUE_OF_IMPL_07162005_1030
- #include <boost/fusion/support/config.hpp>
- #include <boost/fusion/iterator/value_of.hpp>
- #include <boost/utility/result_of.hpp>
- namespace boost { namespace fusion
- {
- struct transform_view_iterator_tag;
- struct transform_view_iterator2_tag;
- namespace extension
- {
- template <typename Tag>
- struct value_of_impl;
- // Unary Version
- template <>
- struct value_of_impl<transform_view_iterator_tag>
- {
- template <typename Iterator>
- struct apply
- {
- typedef typename
- result_of::value_of<typename Iterator::first_type>::type
- value_type;
- typedef typename Iterator::transform_type F;
- typedef typename boost::result_of<F(value_type)>::type type;
- };
- };
- // Binary Version
- template <>
- struct value_of_impl<transform_view_iterator2_tag>
- {
- template <typename Iterator>
- struct apply
- {
- typedef typename
- result_of::value_of<typename Iterator::first1_type>::type
- value1_type;
- typedef typename
- result_of::value_of<typename Iterator::first2_type>::type
- value2_type;
- typedef typename Iterator::transform_type F;
- typedef typename boost::result_of<F(value1_type, value2_type)>::type type;
- };
- };
- }
- }}
- #endif
|