/*=============================================================================
|
Copyright (c) 2001-2011 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/config.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 {};
|
|
struct unbounded_tag {};
|
|
namespace extension
|
{
|
template<typename Tag>
|
struct category_of_impl
|
{
|
template<typename T>
|
struct apply
|
{
|
typedef typename T::category type;
|
};
|
};
|
|
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>
|
{};
|
|
template <typename T>
|
struct is_unbounded
|
: is_base_of<
|
unbounded_tag
|
, typename category_of<T>::type>
|
{};
|
}
|
}}
|
|
#endif
|
