Chris@16: // Boost.Range library
Chris@16: //
Chris@16: //  Copyright Thorsten Ottosen, Neil Groves 2006 - 2008. Use, modification and
Chris@16: //  distribution is subject to the Boost Software License, Version
Chris@16: //  1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: //  http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // For more information, see http://www.boost.org/libs/range/
Chris@16: //
Chris@16: 
Chris@16: #ifndef BOOST_RANGE_ADAPTOR_UNIQUED_IMPL_HPP
Chris@16: #define BOOST_RANGE_ADAPTOR_UNIQUED_IMPL_HPP
Chris@16: 
Chris@16: #include <boost/range/adaptor/adjacent_filtered.hpp>
Chris@101: #include <boost/range/concepts.hpp>
Chris@16: 
Chris@16: namespace boost
Chris@16: {
Chris@16: 
Chris@16:     namespace range_detail
Chris@16:     {
Chris@16:         struct unique_forwarder { };
Chris@16: 
Chris@16:         struct unique_not_equal_to
Chris@16:         {
Chris@16:             typedef bool result_type;
Chris@16: 
Chris@16:             template< class T >
Chris@16:             bool operator()( const T& l, const T& r ) const
Chris@16:             {
Chris@16:                 return !(l == r);
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template<class ForwardRng>
Chris@16:         class uniqued_range : public adjacent_filtered_range<unique_not_equal_to, ForwardRng, true>
Chris@16:         {
Chris@16:             typedef adjacent_filtered_range<unique_not_equal_to, ForwardRng, true> base;
Chris@16:         public:
Chris@16:             explicit uniqued_range(ForwardRng& rng)
Chris@16:                 : base(unique_not_equal_to(), rng)
Chris@16:             {
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:         template< class ForwardRng >
Chris@16:         inline uniqued_range<ForwardRng>
Chris@16:         operator|( ForwardRng& r,
Chris@16:                    unique_forwarder )
Chris@16:         {
Chris@101:             BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<ForwardRng>));
Chris@16:             return uniqued_range<ForwardRng>(r);
Chris@16:         }
Chris@16: 
Chris@16:         template< class ForwardRng >
Chris@16:         inline uniqued_range<const ForwardRng>
Chris@16:         operator|( const ForwardRng& r,
Chris@16:                    unique_forwarder )
Chris@16:         {
Chris@101:             BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<const ForwardRng>));
Chris@16:             return uniqued_range<const ForwardRng>(r);
Chris@16:         }
Chris@16: 
Chris@16:     } // 'range_detail'
Chris@16: 
Chris@16:     using range_detail::uniqued_range;
Chris@16: 
Chris@16:     namespace adaptors
Chris@16:     {
Chris@16:         namespace
Chris@16:         {
Chris@16:             const range_detail::unique_forwarder uniqued =
Chris@16:                        range_detail::unique_forwarder();
Chris@16:         }
Chris@16: 
Chris@16:         template<class ForwardRange>
Chris@16:         inline uniqued_range<ForwardRange>
Chris@16:         unique(ForwardRange& rng)
Chris@16:         {
Chris@101:             BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<ForwardRange>));
Chris@16:             return uniqued_range<ForwardRange>(rng);
Chris@16:         }
Chris@16: 
Chris@16:         template<class ForwardRange>
Chris@16:         inline uniqued_range<const ForwardRange>
Chris@16:         unique(const ForwardRange& rng)
Chris@16:         {
Chris@101:             BOOST_RANGE_CONCEPT_ASSERT((
Chris@101:                 ForwardRangeConcept<const ForwardRange>));
Chris@101: 
Chris@16:             return uniqued_range<const ForwardRange>(rng);
Chris@16:         }
Chris@16:     } // 'adaptors'
Chris@16: 
Chris@16: }
Chris@16: 
Chris@16: #endif