1753f127fSDimitry Andric //===----------------------------------------------------------------------===// 2753f127fSDimitry Andric // 3753f127fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4753f127fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5753f127fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6753f127fSDimitry Andric // 7753f127fSDimitry Andric //===----------------------------------------------------------------------===// 8753f127fSDimitry Andric 9753f127fSDimitry Andric #ifndef _LIBCPP___ALGORITHM_RANGES_FIND_END_H 10753f127fSDimitry Andric #define _LIBCPP___ALGORITHM_RANGES_FIND_END_H 11753f127fSDimitry Andric 12753f127fSDimitry Andric #include <__algorithm/find_end.h> 13753f127fSDimitry Andric #include <__algorithm/iterator_operations.h> 14fcaf7f86SDimitry Andric #include <__algorithm/ranges_iterator_concept.h> 15753f127fSDimitry Andric #include <__config> 16753f127fSDimitry Andric #include <__functional/identity.h> 17753f127fSDimitry Andric #include <__functional/ranges_operations.h> 18753f127fSDimitry Andric #include <__iterator/concepts.h> 19753f127fSDimitry Andric #include <__iterator/indirectly_comparable.h> 20753f127fSDimitry Andric #include <__iterator/iterator_traits.h> 21753f127fSDimitry Andric #include <__ranges/access.h> 22753f127fSDimitry Andric #include <__ranges/concepts.h> 23753f127fSDimitry Andric #include <__ranges/subrange.h> 24bdd1243dSDimitry Andric #include <__utility/pair.h> 25753f127fSDimitry Andric 26753f127fSDimitry Andric #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 27753f127fSDimitry Andric # pragma GCC system_header 28753f127fSDimitry Andric #endif 29753f127fSDimitry Andric 30b3edf446SDimitry Andric _LIBCPP_PUSH_MACROS 31b3edf446SDimitry Andric #include <__undef_macros> 32b3edf446SDimitry Andric 3306c3fb27SDimitry Andric #if _LIBCPP_STD_VER >= 20 34753f127fSDimitry Andric 35753f127fSDimitry Andric _LIBCPP_BEGIN_NAMESPACE_STD 36753f127fSDimitry Andric 37753f127fSDimitry Andric namespace ranges { 38753f127fSDimitry Andric namespace __find_end { 39753f127fSDimitry Andric struct __fn { 4006c3fb27SDimitry Andric template <forward_iterator _Iter1, 4106c3fb27SDimitry Andric sentinel_for<_Iter1> _Sent1, 4206c3fb27SDimitry Andric forward_iterator _Iter2, 4306c3fb27SDimitry Andric sentinel_for<_Iter2> _Sent2, 44753f127fSDimitry Andric class _Pred = ranges::equal_to, 45753f127fSDimitry Andric class _Proj1 = identity, 46753f127fSDimitry Andric class _Proj2 = identity> 47753f127fSDimitry Andric requires indirectly_comparable<_Iter1, _Iter2, _Pred, _Proj1, _Proj2> 48*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr subrange<_Iter1> operator()( 4906c3fb27SDimitry Andric _Iter1 __first1, 5006c3fb27SDimitry Andric _Sent1 __last1, 5106c3fb27SDimitry Andric _Iter2 __first2, 5206c3fb27SDimitry Andric _Sent2 __last2, 53753f127fSDimitry Andric _Pred __pred = {}, 54753f127fSDimitry Andric _Proj1 __proj1 = {}, 55753f127fSDimitry Andric _Proj2 __proj2 = {}) const { 56753f127fSDimitry Andric auto __ret = std::__find_end_impl<_RangeAlgPolicy>( 57753f127fSDimitry Andric __first1, 58753f127fSDimitry Andric __last1, 59753f127fSDimitry Andric __first2, 60753f127fSDimitry Andric __last2, 61753f127fSDimitry Andric __pred, 62753f127fSDimitry Andric __proj1, 63753f127fSDimitry Andric __proj2, 64753f127fSDimitry Andric __iterator_concept<_Iter1>(), 65753f127fSDimitry Andric __iterator_concept<_Iter2>()); 66753f127fSDimitry Andric return {__ret.first, __ret.second}; 67753f127fSDimitry Andric } 68753f127fSDimitry Andric 69753f127fSDimitry Andric template <forward_range _Range1, 70753f127fSDimitry Andric forward_range _Range2, 71753f127fSDimitry Andric class _Pred = ranges::equal_to, 72753f127fSDimitry Andric class _Proj1 = identity, 73753f127fSDimitry Andric class _Proj2 = identity> 74753f127fSDimitry Andric requires indirectly_comparable<iterator_t<_Range1>, iterator_t<_Range2>, _Pred, _Proj1, _Proj2> 75*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr borrowed_subrange_t<_Range1> operator()( 7606c3fb27SDimitry Andric _Range1&& __range1, _Range2&& __range2, _Pred __pred = {}, _Proj1 __proj1 = {}, _Proj2 __proj2 = {}) const { 77753f127fSDimitry Andric auto __ret = std::__find_end_impl<_RangeAlgPolicy>( 78753f127fSDimitry Andric ranges::begin(__range1), 79753f127fSDimitry Andric ranges::end(__range1), 80753f127fSDimitry Andric ranges::begin(__range2), 81753f127fSDimitry Andric ranges::end(__range2), 82753f127fSDimitry Andric __pred, 83753f127fSDimitry Andric __proj1, 84753f127fSDimitry Andric __proj2, 85753f127fSDimitry Andric __iterator_concept<iterator_t<_Range1>>(), 86753f127fSDimitry Andric __iterator_concept<iterator_t<_Range2>>()); 87753f127fSDimitry Andric return {__ret.first, __ret.second}; 88753f127fSDimitry Andric } 89753f127fSDimitry Andric }; 90753f127fSDimitry Andric } // namespace __find_end 91753f127fSDimitry Andric 92753f127fSDimitry Andric inline namespace __cpo { 93753f127fSDimitry Andric inline constexpr auto find_end = __find_end::__fn{}; 94753f127fSDimitry Andric } // namespace __cpo 95753f127fSDimitry Andric } // namespace ranges 96753f127fSDimitry Andric 97753f127fSDimitry Andric _LIBCPP_END_NAMESPACE_STD 98753f127fSDimitry Andric 9906c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20 100753f127fSDimitry Andric 101b3edf446SDimitry Andric _LIBCPP_POP_MACROS 102b3edf446SDimitry Andric 103753f127fSDimitry Andric #endif // _LIBCPP___ALGORITHM_RANGES_FIND_END_H 104