Horizon
unique.hpp
Go to the documentation of this file.
1 // Range v3 library
3 //
4 // Copyright Eric Niebler 2013-present
5 //
6 // Use, modification and distribution is subject to the
7 // Boost Software License, Version 1.0. (See accompanying
8 // file LICENSE_1_0.txt or copy at
9 // http://www.boost.org/LICENSE_1_0.txt)
10 //
11 // Project home: https://github.com/ericniebler/range-v3
12 //
13 
14 #ifndef RANGES_V3_ACTION_UNIQUE_HPP
15 #define RANGES_V3_ACTION_UNIQUE_HPP
16 
17 #include <range/v3/range_fwd.hpp>
18 
27 #include <range/v3/utility/static_const.hpp>
28 
29 #include <range/v3/detail/prologue.hpp>
30 
31 namespace ranges
32 {
35  namespace actions
36  {
37  struct unique_fn
38  {
39  template(typename C, typename P = identity)(
40  requires (!range<C>))
41  constexpr auto operator()(C pred, P proj = P{}) const
42  {
43  return make_action_closure(
44  bind_back(unique_fn{}, std::move(pred), std::move(proj)));
45  }
46 
47  template(typename Rng, typename C = equal_to, typename P = identity)(
48  requires forward_range<Rng> AND
49  erasable_range<Rng &, iterator_t<Rng>, sentinel_t<Rng>> AND
51  Rng operator()(Rng && rng, C pred = C{}, P proj = P{}) const
52  {
53  auto it = ranges::unique(rng, std::move(pred), std::move(proj));
54  ranges::erase(rng, it, end(rng));
55  return static_cast<Rng &&>(rng);
56  }
57  };
58 
62  } // namespace actions
64 } // namespace ranges
65 
66 #include <range/v3/detail/epilogue.hpp>
67 
68 #endif
CPP_concept sortable
\concept sortable
Definition: concepts.hpp:865
decltype(begin(declval(Rng &))) iterator_t
Definition: access.hpp:698
RANGES_INLINE_VARIABLE(detail::to_container_fn< detail::from_range< std::vector >>, to_vector) template< template< typename... > class ContT > auto to(RANGES_HIDDEN_DETAIL(detail
For initializing a container of the specified type with the elements of an Range.
Definition: conversion.hpp:399
CPP_concept erasable_range
\concept erasable_range
Definition: erase.hpp:76
defer< bind_back, Fn, Ts... > bind_back
Definition: meta.hpp:994
bool_< T::type::value==U::type::value > equal_to
A Boolean integral constant wrapper around the result of comparing T::type::value and U::type::value ...
Definition: meta.hpp:237
Definition: action.hpp:141
Definition: unique.hpp:38
Definition: identity.hpp:25