/*============================================================================= | |
Copyright (c) 2001-2006 Joel de Guzman | |
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_CATEGORY_OF_07202005_0308) | |
#define FUSION_CATEGORY_OF_07202005_0308 | |
#include <boost/fusion/support/detail/category_of.hpp> | |
#include <boost/fusion/support/tag_of.hpp> | |
#include <boost/type_traits/is_base_of.hpp> | |
namespace boost { namespace fusion | |
{ | |
// Special tags: | |
struct boost_tuple_tag; // boost::tuples::tuple tag | |
struct boost_array_tag; // boost::array tag | |
struct mpl_sequence_tag; // mpl sequence tag | |
struct std_pair_tag; // std::pair tag | |
struct incrementable_traversal_tag {}; | |
struct single_pass_traversal_tag | |
: incrementable_traversal_tag {}; | |
struct forward_traversal_tag | |
: single_pass_traversal_tag {}; | |
struct bidirectional_traversal_tag | |
: forward_traversal_tag {}; | |
struct random_access_traversal_tag | |
: bidirectional_traversal_tag {}; | |
struct associative_tag {}; | |
namespace extension | |
{ | |
template<typename Tag> | |
struct category_of_impl | |
{ | |
template<typename T> | |
struct apply : detail::fusion_category_of<T> {}; | |
}; | |
template <> | |
struct category_of_impl<boost_tuple_tag>; | |
template <> | |
struct category_of_impl<boost_array_tag>; | |
template <> | |
struct category_of_impl<mpl_sequence_tag>; | |
template <> | |
struct category_of_impl<std_pair_tag>; | |
} | |
namespace traits | |
{ | |
template <typename T> | |
struct category_of | |
: extension::category_of_impl<typename fusion::detail::tag_of<T>::type>:: | |
template apply<T> | |
{}; | |
template <typename T> | |
struct is_associative | |
: is_base_of< | |
associative_tag | |
, typename category_of<T>::type> | |
{}; | |
template <typename T> | |
struct is_incrementable | |
: is_base_of< | |
incrementable_traversal_tag | |
, typename category_of<T>::type> | |
{}; | |
template <typename T> | |
struct is_single_pass | |
: is_base_of< | |
single_pass_traversal_tag | |
, typename category_of<T>::type> | |
{}; | |
template <typename T> | |
struct is_forward | |
: is_base_of< | |
forward_traversal_tag | |
, typename category_of<T>::type> | |
{}; | |
template <typename T> | |
struct is_bidirectional | |
: is_base_of< | |
bidirectional_traversal_tag | |
, typename category_of<T>::type> | |
{}; | |
template <typename T> | |
struct is_random_access | |
: is_base_of< | |
random_access_traversal_tag | |
, typename category_of<T>::type> | |
{}; | |
} | |
}} | |
#endif |