src/boost/boost/mpl/unique.hpp

   1
   2 #ifndef BOOST_MPL_UNIQUE_HPP_INCLUDED
   3 #define BOOST_MPL_UNIQUE_HPP_INCLUDED
   4
   5 // Copyright Aleksey Gurtovoy 2000-2004
   6 // Copyright John R. Bandela 2000-2002
   7 //
   8 // Distributed under the Boost Software License, Version 1.0.
   9 // (See accompanying file LICENSE_1_0.txt or copy at
  10 // http://www.boost.org/LICENSE_1_0.txt)
  11 //
  12 // See http://www.boost.org/libs/mpl for documentation.
  13
  14 // $Id: unique.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
  15 // $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $
  16 // $Revision: 49267 $
  17
  18 #include <boost/mpl/fold.hpp>
  19 #include <boost/mpl/reverse_fold.hpp>
  20 #include <boost/mpl/eval_if.hpp>
  21 #include <boost/mpl/and.hpp>
  22 #include <boost/mpl/identity.hpp>
  23 #include <boost/mpl/pair.hpp>
  24 #include <boost/mpl/apply.hpp>
  25 #include <boost/mpl/aux_/inserter_algorithm.hpp>
  26 #include <boost/mpl/aux_/na.hpp>
  27 #include <boost/mpl/aux_/na_spec.hpp>
  28 #include <boost/mpl/aux_/lambda_spec.hpp>
  29
  30 namespace boost { namespace mpl {
  31
  32 namespace aux {
  33
  34 template< typename Predicate, typename Operation >
  35 struct unique_op
  36 {
  37     template< typename Pair, typename T > struct apply
  38     {
  39         typedef typename Pair::first seq_;
  40         typedef typename Pair::second prior_;
  41         typedef typename eval_if<
  42               and_< is_not_na<prior_>, apply2<Predicate,prior_,T> >
  43             , identity<seq_>
  44             , apply2<Operation,seq_,T>
  45             >::type new_seq_;
  46
  47         typedef pair<new_seq_,T> type;
  48     };
  49 };
  50
  51 template<
  52       typename Sequence
  53     , typename Predicate
  54     , typename Inserter
  55     >
  56 struct unique_impl
  57     : first< typename fold<
  58           Sequence
  59         , pair< typename Inserter::state,na >
  60         , protect< aux::unique_op<Predicate,typename Inserter::operation> >
  61         >::type >
  62 {
  63 };
  64
  65 template<
  66       typename Sequence
  67     , typename Predicate
  68     , typename Inserter
  69     >
  70 struct reverse_unique_impl
  71     : first< typename reverse_fold<
  72           Sequence
  73         , pair< typename Inserter::state,na >
  74         , protect< aux::unique_op<Predicate,typename Inserter::operation> >
  75         >::type >
  76 {
  77 };
  78
  79 } // namespace aux
  80
  81 BOOST_MPL_AUX_INSERTER_ALGORITHM_DEF(3, unique)
  82
  83 }}
  84
  85 #endif // BOOST_MPL_UNIQUE_HPP_INCLUDED