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_ROTATE_COPY_H 10*4bdff4beSrobert #define _LIBCPP___ALGORITHM_RANGES_ROTATE_COPY_H 11*4bdff4beSrobert 12*4bdff4beSrobert #include <__algorithm/in_out_result.h> 13*4bdff4beSrobert #include <__algorithm/ranges_copy.h> 14*4bdff4beSrobert #include <__config> 15*4bdff4beSrobert #include <__iterator/concepts.h> 16*4bdff4beSrobert #include <__iterator/reverse_iterator.h> 17*4bdff4beSrobert #include <__ranges/access.h> 18*4bdff4beSrobert #include <__ranges/concepts.h> 19*4bdff4beSrobert #include <__ranges/dangling.h> 20*4bdff4beSrobert #include <__utility/move.h> 21*4bdff4beSrobert 22*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 23*4bdff4beSrobert # pragma GCC system_header 24*4bdff4beSrobert #endif 25*4bdff4beSrobert 26*4bdff4beSrobert #if _LIBCPP_STD_VER > 17 27*4bdff4beSrobert 28*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD 29*4bdff4beSrobert 30*4bdff4beSrobert namespace ranges { 31*4bdff4beSrobert 32*4bdff4beSrobert template <class _InIter, class _OutIter> 33*4bdff4beSrobert using rotate_copy_result = in_out_result<_InIter, _OutIter>; 34*4bdff4beSrobert 35*4bdff4beSrobert namespace __rotate_copy { 36*4bdff4beSrobert struct __fn { 37*4bdff4beSrobert 38*4bdff4beSrobert template <bidirectional_iterator _InIter, sentinel_for<_InIter> _Sent, weakly_incrementable _OutIter> 39*4bdff4beSrobert requires indirectly_copyable<_InIter, _OutIter> 40*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI constexpr 41*4bdff4beSrobert rotate_copy_result<_InIter, _OutIter> operator__fn42*4bdff4beSrobert operator()(_InIter __first, _InIter __middle, _Sent __last, _OutIter __result) const { 43*4bdff4beSrobert auto __res1 = ranges::copy(__middle, __last, std::move(__result)); 44*4bdff4beSrobert auto __res2 = ranges::copy(__first, __middle, std::move(__res1.out)); 45*4bdff4beSrobert return {std::move(__res1.in), std::move(__res2.out)}; 46*4bdff4beSrobert } 47*4bdff4beSrobert 48*4bdff4beSrobert template <bidirectional_range _Range, weakly_incrementable _OutIter> 49*4bdff4beSrobert requires indirectly_copyable<iterator_t<_Range>, _OutIter> 50*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI constexpr 51*4bdff4beSrobert rotate_copy_result<borrowed_iterator_t<_Range>, _OutIter> operator__fn52*4bdff4beSrobert operator()(_Range&& __range, iterator_t<_Range> __middle, _OutIter __result) const { 53*4bdff4beSrobert return (*this)(ranges::begin(__range), std::move(__middle), ranges::end(__range), std::move(__result)); 54*4bdff4beSrobert } 55*4bdff4beSrobert 56*4bdff4beSrobert }; 57*4bdff4beSrobert } // namespace __rotate_copy 58*4bdff4beSrobert 59*4bdff4beSrobert inline namespace __cpo { 60*4bdff4beSrobert inline constexpr auto rotate_copy = __rotate_copy::__fn{}; 61*4bdff4beSrobert } // namespace __cpo 62*4bdff4beSrobert } // namespace ranges 63*4bdff4beSrobert 64*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD 65*4bdff4beSrobert 66*4bdff4beSrobert #endif // _LIBCPP_STD_VER > 17 67*4bdff4beSrobert 68*4bdff4beSrobert #endif // _LIBCPP___ALGORITHM_RANGES_ROTATE_COPY_H 69