| /*============================================================================= |
| 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 |
| |
| |