xref: /llvm-project/libcxx/include/__algorithm/ranges_inplace_merge.h (revision d10dc5a06fac4dcabf2264c64c8672c6f6ae36fb)
173ebcabfSKonstantin Varlamov //===----------------------------------------------------------------------===//
273ebcabfSKonstantin Varlamov //
373ebcabfSKonstantin Varlamov // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
473ebcabfSKonstantin Varlamov // See https://llvm.org/LICENSE.txt for license information.
573ebcabfSKonstantin Varlamov // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
673ebcabfSKonstantin Varlamov //
773ebcabfSKonstantin Varlamov //===----------------------------------------------------------------------===//
873ebcabfSKonstantin Varlamov 
973ebcabfSKonstantin Varlamov #ifndef _LIBCPP___ALGORITHM_RANGES_INPLACE_MERGE_H
1073ebcabfSKonstantin Varlamov #define _LIBCPP___ALGORITHM_RANGES_INPLACE_MERGE_H
1173ebcabfSKonstantin Varlamov 
1273ebcabfSKonstantin Varlamov #include <__algorithm/inplace_merge.h>
138a61749fSHui Xie #include <__algorithm/iterator_operations.h>
1473ebcabfSKonstantin Varlamov #include <__algorithm/make_projected.h>
1573ebcabfSKonstantin Varlamov #include <__config>
1673ebcabfSKonstantin Varlamov #include <__functional/identity.h>
1773ebcabfSKonstantin Varlamov #include <__functional/invoke.h>
1873ebcabfSKonstantin Varlamov #include <__functional/ranges_operations.h>
1973ebcabfSKonstantin Varlamov #include <__iterator/concepts.h>
2073ebcabfSKonstantin Varlamov #include <__iterator/iterator_traits.h>
218a61749fSHui Xie #include <__iterator/next.h>
2273ebcabfSKonstantin Varlamov #include <__iterator/projected.h>
2373ebcabfSKonstantin Varlamov #include <__iterator/sortable.h>
2473ebcabfSKonstantin Varlamov #include <__ranges/access.h>
2573ebcabfSKonstantin Varlamov #include <__ranges/concepts.h>
2673ebcabfSKonstantin Varlamov #include <__ranges/dangling.h>
2773ebcabfSKonstantin Varlamov #include <__utility/forward.h>
2873ebcabfSKonstantin Varlamov #include <__utility/move.h>
2973ebcabfSKonstantin Varlamov 
3073ebcabfSKonstantin Varlamov #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
3173ebcabfSKonstantin Varlamov #  pragma GCC system_header
3273ebcabfSKonstantin Varlamov #endif
3373ebcabfSKonstantin Varlamov 
347b462251SLouis Dionne _LIBCPP_PUSH_MACROS
357b462251SLouis Dionne #include <__undef_macros>
367b462251SLouis Dionne 
374f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20
3873ebcabfSKonstantin Varlamov 
3973ebcabfSKonstantin Varlamov _LIBCPP_BEGIN_NAMESPACE_STD
4073ebcabfSKonstantin Varlamov 
4173ebcabfSKonstantin Varlamov namespace ranges {
42*d10dc5a0SChristopher Di Bella struct __inplace_merge {
438a61749fSHui Xie   template <class _Iter, class _Sent, class _Comp, class _Proj>
448a61749fSHui Xie   _LIBCPP_HIDE_FROM_ABI static constexpr auto
458a61749fSHui Xie   __inplace_merge_impl(_Iter __first, _Iter __middle, _Sent __last, _Comp&& __comp, _Proj&& __proj) {
468a61749fSHui Xie     auto __last_iter = ranges::next(__middle, __last);
478a61749fSHui Xie     std::__inplace_merge<_RangeAlgPolicy>(
48db7d7959SKonstantin Varlamov         std::move(__first), std::move(__middle), __last_iter, std::__make_projected(__comp, __proj));
498a61749fSHui Xie     return __last_iter;
508a61749fSHui Xie   }
5173ebcabfSKonstantin Varlamov 
525aa03b64SLouis Dionne   template <bidirectional_iterator _Iter, sentinel_for<_Iter> _Sent, class _Comp = ranges::less, class _Proj = identity>
5373ebcabfSKonstantin Varlamov     requires sortable<_Iter, _Comp, _Proj>
548a61749fSHui Xie   _LIBCPP_HIDE_FROM_ABI _Iter
558a61749fSHui Xie   operator()(_Iter __first, _Iter __middle, _Sent __last, _Comp __comp = {}, _Proj __proj = {}) const {
568a61749fSHui Xie     return __inplace_merge_impl(
578a61749fSHui Xie         std::move(__first), std::move(__middle), std::move(__last), std::move(__comp), std::move(__proj));
5873ebcabfSKonstantin Varlamov   }
5973ebcabfSKonstantin Varlamov 
6073ebcabfSKonstantin Varlamov   template <bidirectional_range _Range, class _Comp = ranges::less, class _Proj = identity>
615aa03b64SLouis Dionne     requires sortable<iterator_t<_Range>, _Comp, _Proj>
625aa03b64SLouis Dionne   _LIBCPP_HIDE_FROM_ABI borrowed_iterator_t<_Range>
638a61749fSHui Xie   operator()(_Range&& __range, iterator_t<_Range> __middle, _Comp __comp = {}, _Proj __proj = {}) const {
648a61749fSHui Xie     return __inplace_merge_impl(
658a61749fSHui Xie         ranges::begin(__range), std::move(__middle), ranges::end(__range), std::move(__comp), std::move(__proj));
6673ebcabfSKonstantin Varlamov   }
6773ebcabfSKonstantin Varlamov };
6873ebcabfSKonstantin Varlamov 
6973ebcabfSKonstantin Varlamov inline namespace __cpo {
70*d10dc5a0SChristopher Di Bella inline constexpr auto inplace_merge = __inplace_merge{};
7173ebcabfSKonstantin Varlamov } // namespace __cpo
7273ebcabfSKonstantin Varlamov } // namespace ranges
7373ebcabfSKonstantin Varlamov 
7473ebcabfSKonstantin Varlamov _LIBCPP_END_NAMESPACE_STD
7573ebcabfSKonstantin Varlamov 
764f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20
7773ebcabfSKonstantin Varlamov 
787b462251SLouis Dionne _LIBCPP_POP_MACROS
797b462251SLouis Dionne 
8073ebcabfSKonstantin Varlamov #endif // _LIBCPP___ALGORITHM_RANGES_INPLACE_MERGE_H
81