1 /*=============================================================================
2 Copyright (c) 2001-2011 Joel de Guzman
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 ==============================================================================*/
7 #if !defined(FUSION_CATEGORY_OF_07202005_0308)
8 #define FUSION_CATEGORY_OF_07202005_0308
10 #include <boost/fusion/support/config.hpp>
11 #include <boost/fusion/support/tag_of.hpp>
12 #include <boost/type_traits/is_base_of.hpp>
14 namespace boost { namespace fusion
17 struct boost_tuple_tag; // boost::tuples::tuple tag
18 struct boost_array_tag; // boost::array tag
19 struct mpl_sequence_tag; // mpl sequence tag
20 struct std_pair_tag; // std::pair tag
22 struct incrementable_traversal_tag {};
24 struct single_pass_traversal_tag
25 : incrementable_traversal_tag {};
27 struct forward_traversal_tag
28 : single_pass_traversal_tag {};
30 struct bidirectional_traversal_tag
31 : forward_traversal_tag {};
33 struct random_access_traversal_tag
34 : bidirectional_traversal_tag {};
36 struct associative_tag {};
38 struct unbounded_tag {};
42 template<typename Tag>
43 struct category_of_impl
48 typedef typename T::category type;
53 struct category_of_impl<boost_tuple_tag>;
56 struct category_of_impl<boost_array_tag>;
59 struct category_of_impl<mpl_sequence_tag>;
62 struct category_of_impl<std_pair_tag>;
69 : extension::category_of_impl<typename fusion::detail::tag_of<T>::type>::
77 , typename category_of<T>::type>
81 struct is_incrementable
83 incrementable_traversal_tag
84 , typename category_of<T>::type>
90 single_pass_traversal_tag
91 , typename category_of<T>::type>
98 , typename category_of<T>::type>
101 template <typename T>
102 struct is_bidirectional
104 bidirectional_traversal_tag
105 , typename category_of<T>::type>
108 template <typename T>
109 struct is_random_access
111 random_access_traversal_tag
112 , typename category_of<T>::type>
115 template <typename T>
119 , typename category_of<T>::type>