Chris@16: 
Chris@16: #ifndef BOOST_MPL_EQUAL_HPP_INCLUDED
Chris@16: #define BOOST_MPL_EQUAL_HPP_INCLUDED
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2000-2004
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #include <boost/mpl/aux_/iter_fold_if_impl.hpp>
Chris@16: #include <boost/mpl/aux_/iter_apply.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/begin_end.hpp>
Chris@16: #include <boost/mpl/next.hpp>
Chris@16: #include <boost/mpl/always.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/lambda.hpp>
Chris@16: #include <boost/mpl/bind.hpp>
Chris@16: #include <boost/mpl/apply.hpp>
Chris@16: #include <boost/mpl/void.hpp>
Chris@16: #include <boost/mpl/aux_/na_spec.hpp>
Chris@16: #include <boost/mpl/aux_/lambda_support.hpp>
Chris@16: #include <boost/mpl/aux_/msvc_eti_base.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: 
Chris@16: namespace boost { namespace mpl {
Chris@16: 
Chris@16: namespace aux {
Chris@16: 
Chris@16: template<
Chris@16:       typename Predicate
Chris@16:     , typename LastIterator1
Chris@16:     , typename LastIterator2
Chris@16:     >
Chris@16: struct equal_pred
Chris@16: {
Chris@16:     template<
Chris@16:           typename Iterator2
Chris@16:         , typename Iterator1
Chris@16:         >
Chris@16:     struct apply
Chris@16:     {
Chris@16:         typedef typename and_< 
Chris@16:               not_< is_same<Iterator1,LastIterator1> >
Chris@16:             , not_< is_same<Iterator2,LastIterator2> >
Chris@16:             , aux::iter_apply2<Predicate,Iterator1,Iterator2>
Chris@16:             >::type type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: template<
Chris@16:       typename Sequence1
Chris@16:     , typename Sequence2
Chris@16:     , typename Predicate
Chris@16:     >
Chris@16: struct equal_impl
Chris@16: {
Chris@16:     typedef typename begin<Sequence1>::type first1_;
Chris@16:     typedef typename begin<Sequence2>::type first2_;
Chris@16:     typedef typename end<Sequence1>::type last1_;
Chris@16:     typedef typename end<Sequence2>::type last2_;
Chris@16: 
Chris@16:     typedef aux::iter_fold_if_impl<
Chris@16:           first1_
Chris@16:         , first2_
Chris@16:         , next<>
Chris@16:         , protect< aux::equal_pred<Predicate,last1_,last2_> >
Chris@16:         , void_
Chris@16:         , always<false_>
Chris@16:         > fold_;
Chris@16: 
Chris@16:     typedef typename fold_::iterator iter1_;
Chris@16:     typedef typename fold_::state iter2_;
Chris@16:     typedef and_<
Chris@16:           is_same<iter1_,last1_>
Chris@16:         , is_same<iter2_,last2_>
Chris@16:         > result_;
Chris@16: 
Chris@16:     typedef typename result_::type type;
Chris@16: };
Chris@16: 
Chris@16: 
Chris@16: } // namespace aux
Chris@16: 
Chris@16: 
Chris@16: template<
Chris@16:       typename BOOST_MPL_AUX_NA_PARAM(Sequence1)
Chris@16:     , typename BOOST_MPL_AUX_NA_PARAM(Sequence2)
Chris@16:     , typename Predicate = is_same<_,_>
Chris@16:     >
Chris@16: struct equal
Chris@16:     : aux::msvc_eti_base< 
Chris@16:           typename aux::equal_impl<Sequence1,Sequence2,Predicate>::type
Chris@16:         >::type
Chris@16: {
Chris@16:     BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2))
Chris@16: };
Chris@16: 
Chris@16: BOOST_MPL_AUX_NA_SPEC(2, equal)
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_MPL_EQUAL_HPP_INCLUDED