// Boost.Bimap | |
// | |
// Copyright (c) 2006-2007 Matias Capeletto | |
// | |
// 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) | |
/// \file tags/support/apply_to_value_type.hpp | |
/// \brief Similar to mpl::apply but for tagged types. | |
#ifndef BOOST_BIMAP_TAGS_SUPPORT_APPLY_TO_VALUE_TYPE_HPP | |
#define BOOST_BIMAP_TAGS_SUPPORT_APPLY_TO_VALUE_TYPE_HPP | |
#if defined(_MSC_VER) && (_MSC_VER>=1200) | |
#pragma once | |
#endif | |
#include <boost/config.hpp> | |
#include <boost/bimap/tags/tagged.hpp> | |
#include <boost/mpl/apply.hpp> | |
/** \struct boost::bimaps::tags::support::apply_to_value_type | |
\brief Higger order metafunction similar to mpl::apply but for tagged types. | |
\code | |
template< class Metafunction, class TaggedType > | |
struct apply_to_value_type | |
{ | |
typedef tagged | |
< | |
Metafuntion< value_type_of< TaggedType >::type >::type, | |
tag_of< TaggedType >::type | |
> type; | |
}; | |
\endcode | |
This higher order metafunctions is very useful, and it can be used with lambda | |
expresions. | |
See also tagged. | |
**/ | |
#ifndef BOOST_BIMAP_DOXYGEN_WILL_NOT_PROCESS_THE_FOLLOWING_LINES | |
namespace boost { | |
namespace bimaps { | |
namespace tags { | |
namespace support { | |
template < class F, class TaggedType > | |
struct apply_to_value_type; | |
template < class F, class ValueType, class Tag > | |
struct apply_to_value_type<F, tagged<ValueType,Tag> > | |
{ | |
typedef BOOST_DEDUCED_TYPENAME mpl::apply< F, ValueType >::type new_value_type; | |
typedef tagged< new_value_type, Tag > type; | |
}; | |
} // namespace support | |
} // namespace tags | |
} // namespace bimaps | |
} // namespace boost | |
#endif // BOOST_BIMAP_DOXYGEN_WILL_NOT_PROCESS_THE_FOLLOWING_LINES | |
#endif // BOOST_BIMAP_TAGS_SUPPORT_APPLY_TO_VALUE_TYPE_HPP |