1*4bdff4beSrobert //===----------------------------------------------------------------------===// 2*4bdff4beSrobert // 3*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information. 5*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*4bdff4beSrobert // 7*4bdff4beSrobert //===----------------------------------------------------------------------===// 8*4bdff4beSrobert 9*4bdff4beSrobert #ifndef _LIBCPP___ALGORITHM_RANGES_STABLE_PARTITION_H 10*4bdff4beSrobert #define _LIBCPP___ALGORITHM_RANGES_STABLE_PARTITION_H 11*4bdff4beSrobert 12*4bdff4beSrobert #include <__algorithm/iterator_operations.h> 13*4bdff4beSrobert #include <__algorithm/make_projected.h> 14*4bdff4beSrobert #include <__algorithm/ranges_iterator_concept.h> 15*4bdff4beSrobert #include <__algorithm/stable_partition.h> 16*4bdff4beSrobert #include <__config> 17*4bdff4beSrobert #include <__functional/identity.h> 18*4bdff4beSrobert #include <__functional/invoke.h> 19*4bdff4beSrobert #include <__functional/ranges_operations.h> 20*4bdff4beSrobert #include <__iterator/concepts.h> 21*4bdff4beSrobert #include <__iterator/iterator_traits.h> 22*4bdff4beSrobert #include <__iterator/next.h> 23*4bdff4beSrobert #include <__iterator/permutable.h> 24*4bdff4beSrobert #include <__iterator/projected.h> 25*4bdff4beSrobert #include <__ranges/access.h> 26*4bdff4beSrobert #include <__ranges/concepts.h> 27*4bdff4beSrobert #include <__ranges/dangling.h> 28*4bdff4beSrobert #include <__ranges/subrange.h> 29*4bdff4beSrobert #include <__utility/forward.h> 30*4bdff4beSrobert #include <__utility/move.h> 31*4bdff4beSrobert #include <type_traits> 32*4bdff4beSrobert 33*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 34*4bdff4beSrobert # pragma GCC system_header 35*4bdff4beSrobert #endif 36*4bdff4beSrobert 37*4bdff4beSrobert #if _LIBCPP_STD_VER > 17 38*4bdff4beSrobert 39*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD 40*4bdff4beSrobert 41*4bdff4beSrobert namespace ranges { 42*4bdff4beSrobert namespace __stable_partition { 43*4bdff4beSrobert 44*4bdff4beSrobert struct __fn { 45*4bdff4beSrobert 46*4bdff4beSrobert template <class _Iter, class _Sent, class _Proj, class _Pred> 47*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI static __stable_partition_fn_impl__fn48*4bdff4beSrobert subrange<__remove_cvref_t<_Iter>> __stable_partition_fn_impl( 49*4bdff4beSrobert _Iter&& __first, _Sent&& __last, _Pred&& __pred, _Proj&& __proj) { 50*4bdff4beSrobert auto __last_iter = ranges::next(__first, __last); 51*4bdff4beSrobert 52*4bdff4beSrobert auto&& __projected_pred = std::__make_projected(__pred, __proj); 53*4bdff4beSrobert auto __result = std::__stable_partition<_RangeAlgPolicy>( 54*4bdff4beSrobert std::move(__first), __last_iter, __projected_pred, __iterator_concept<_Iter>()); 55*4bdff4beSrobert 56*4bdff4beSrobert return {std::move(__result), std::move(__last_iter)}; 57*4bdff4beSrobert } 58*4bdff4beSrobert 59*4bdff4beSrobert template <bidirectional_iterator _Iter, sentinel_for<_Iter> _Sent, class _Proj = identity, 60*4bdff4beSrobert indirect_unary_predicate<projected<_Iter, _Proj>> _Pred> 61*4bdff4beSrobert requires permutable<_Iter> 62*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI operator__fn63*4bdff4beSrobert subrange<_Iter> operator()(_Iter __first, _Sent __last, _Pred __pred, _Proj __proj = {}) const { 64*4bdff4beSrobert return __stable_partition_fn_impl(__first, __last, __pred, __proj); 65*4bdff4beSrobert } 66*4bdff4beSrobert 67*4bdff4beSrobert template <bidirectional_range _Range, class _Proj = identity, 68*4bdff4beSrobert indirect_unary_predicate<projected<iterator_t<_Range>, _Proj>> _Pred> 69*4bdff4beSrobert requires permutable<iterator_t<_Range>> 70*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI operator__fn71*4bdff4beSrobert borrowed_subrange_t<_Range> operator()(_Range&& __range, _Pred __pred, _Proj __proj = {}) const { 72*4bdff4beSrobert return __stable_partition_fn_impl(ranges::begin(__range), ranges::end(__range), __pred, __proj); 73*4bdff4beSrobert } 74*4bdff4beSrobert 75*4bdff4beSrobert }; 76*4bdff4beSrobert 77*4bdff4beSrobert } // namespace __stable_partition 78*4bdff4beSrobert 79*4bdff4beSrobert inline namespace __cpo { 80*4bdff4beSrobert inline constexpr auto stable_partition = __stable_partition::__fn{}; 81*4bdff4beSrobert } // namespace __cpo 82*4bdff4beSrobert } // namespace ranges 83*4bdff4beSrobert 84*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD 85*4bdff4beSrobert 86*4bdff4beSrobert #endif // _LIBCPP_STD_VER > 17 87*4bdff4beSrobert 88*4bdff4beSrobert #endif // _LIBCPP___ALGORITHM_RANGES_STABLE_PARTITION_H 89