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