single_view/detail/equal_to_impl.hpp

0001 /*=============================================================================
0002     Copyright (c) 2011 Eric Niebler
0003
0004     Distributed under the Boost Software License, Version 1.0. (See accompanying
0005     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0006 ==============================================================================*/
0007
0008 #if !defined(BOOST_FUSION_SINGLE_VIEW_ITERATOR_JUL_07_2011_1348PM)
0009 #define BOOST_FUSION_SINGLE_VIEW_ITERATOR_JUL_07_2011_1348PM
0010
0011 #include <boost/fusion/support/config.hpp>
0012 #include <boost/mpl/assert.hpp>
0013 #include <boost/mpl/equal_to.hpp>
0014 #include <boost/type_traits/is_same.hpp>
0015 #include <boost/type_traits/add_const.hpp>
0016
0017 namespace boost { namespace fusion
0018 {
0019     struct single_view_iterator_tag;
0020
0021     namespace extension
0022     {
0023         template<typename Tag>
0024         struct equal_to_impl;
0025
0026         template<>
0027         struct equal_to_impl<single_view_iterator_tag>
0028         {
0029             template<typename It1, typename It2>
0030             struct apply
0031               : mpl::equal_to<typename It1::position, typename It2::position>
0032             {
0033                 BOOST_MPL_ASSERT((is_same<typename add_const<typename It1::single_view_type>::type,
0034                     typename add_const<typename It2::single_view_type>::type>));
0035             };
0036         };
0037     }
0038 }}
0039
0040 #endif