afb81b8278
Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
Close stale issues and PRs / stale (push) Has been cancelled
85 lines
2.3 KiB
C++
85 lines
2.3 KiB
C++
/// \file
|
|
// Range v3 library
|
|
//
|
|
// Copyright Eric Niebler 2013-present
|
|
//
|
|
// Use, modification and distribution is subject to the
|
|
// Boost Software License, Version 1.0. (See accompanying
|
|
// file LICENSE_1_0.txt or copy at
|
|
// http://www.boost.org/LICENSE_1_0.txt)
|
|
//
|
|
// Project home: https://github.com/ericniebler/range-v3
|
|
//
|
|
|
|
#ifndef RANGES_V3_ACTION_ERASE_HPP
|
|
#define RANGES_V3_ACTION_ERASE_HPP
|
|
|
|
#include <utility>
|
|
|
|
#include <range/v3/range_fwd.hpp>
|
|
|
|
#include <range/v3/action/insert.hpp>
|
|
#include <range/v3/utility/static_const.hpp>
|
|
|
|
#include <range/v3/detail/prologue.hpp>
|
|
|
|
namespace ranges
|
|
{
|
|
/// \cond
|
|
namespace adl_erase_detail
|
|
{
|
|
template(typename Cont, typename I, typename S)(
|
|
requires lvalue_container_like<Cont> AND forward_iterator<I> AND
|
|
sentinel_for<S, I>)
|
|
auto erase(Cont && cont, I first, S last) //
|
|
-> decltype(unwrap_reference(cont).erase(first, last))
|
|
{
|
|
return unwrap_reference(cont).erase(first, last);
|
|
}
|
|
|
|
struct erase_fn
|
|
{
|
|
template(typename Rng, typename I, typename S)(
|
|
requires range<Rng> AND forward_iterator<I> AND sentinel_for<S, I>)
|
|
auto operator()(Rng && rng, I first, S last) const
|
|
-> decltype(erase((Rng &&) rng, first, last))
|
|
{
|
|
return erase(static_cast<Rng &&>(rng), first, last);
|
|
}
|
|
};
|
|
} // namespace adl_erase_detail
|
|
/// \endcond
|
|
|
|
/// \ingroup group-actions
|
|
RANGES_INLINE_VARIABLE(adl_erase_detail::erase_fn, erase)
|
|
|
|
namespace actions
|
|
{
|
|
using ranges::erase;
|
|
}
|
|
|
|
/// \addtogroup group-range
|
|
/// @{
|
|
// clang-format off
|
|
/// \concept erasable_range_
|
|
/// \brief The \c erasable_range_ concept
|
|
template<typename Rng, typename I, typename S>
|
|
CPP_requires(erasable_range_,
|
|
requires(Rng && rng, I first, S last)
|
|
(
|
|
ranges::erase((Rng &&) rng, first, last)
|
|
)
|
|
);
|
|
/// \concept erasable_range
|
|
/// \brief The \c erasable_range concept
|
|
template<typename Rng, typename I, typename S>
|
|
CPP_concept erasable_range =
|
|
range<Rng> && CPP_requires_ref(ranges::erasable_range_, Rng, I, S);
|
|
// clang-format on
|
|
/// @}
|
|
} // namespace ranges
|
|
|
|
#include <range/v3/detail/epilogue.hpp>
|
|
|
|
#endif
|