boost/fusion/view/single_view/detail/equal_to_impl.hpp

   1 /*=============================================================================
   2     Copyright (c) 2011 Eric Niebler
   3
   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
   8 #if !defined(BOOST_FUSION_SINGLE_VIEW_ITERATOR_JUL_07_2011_1348PM)
   9 #define BOOST_FUSION_SINGLE_VIEW_ITERATOR_JUL_07_2011_1348PM
  10
  11 #include <boost/mpl/assert.hpp>
  12 #include <boost/mpl/equal_to.hpp>
  13 #include <boost/type_traits/is_same.hpp>
  14 #include <boost/type_traits/add_const.hpp>
  15
  16 namespace boost { namespace fusion
  17 {
  18     struct single_view_iterator_tag;
  19
  20     namespace extension
  21     {
  22         template<typename Tag>
  23         struct equal_to_impl;
  24
  25         template<>
  26         struct equal_to_impl<single_view_iterator_tag>
  27         {
  28             template<typename It1, typename It2>
  29             struct apply
  30               : mpl::equal_to<typename It1::position, typename It2::position>
  31             {
  32                 BOOST_MPL_ASSERT((is_same<typename add_const<typename It1::single_view_type>::type,
  33                     typename add_const<typename It2::single_view_type>::type>));
  34             };
  35         };
  36     }
  37 }}
  38
  39 #endif