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_INCLUDES_H 10753f127fSDimitry Andric #define _LIBCPP___ALGORITHM_RANGES_INCLUDES_H 11753f127fSDimitry Andric 12753f127fSDimitry Andric #include <__algorithm/includes.h> 13fcaf7f86SDimitry Andric #include <__algorithm/make_projected.h> 14753f127fSDimitry Andric #include <__config> 15753f127fSDimitry Andric #include <__functional/identity.h> 16753f127fSDimitry Andric #include <__functional/invoke.h> 17753f127fSDimitry Andric #include <__functional/ranges_operations.h> 18753f127fSDimitry Andric #include <__iterator/concepts.h> 19753f127fSDimitry Andric #include <__iterator/iterator_traits.h> 20753f127fSDimitry Andric #include <__iterator/projected.h> 21753f127fSDimitry Andric #include <__ranges/access.h> 22753f127fSDimitry Andric #include <__ranges/concepts.h> 23753f127fSDimitry Andric #include <__utility/forward.h> 24753f127fSDimitry Andric #include <__utility/move.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 __includes { 39753f127fSDimitry Andric 40753f127fSDimitry Andric struct __fn { 4106c3fb27SDimitry Andric template <input_iterator _Iter1, 42fcaf7f86SDimitry Andric sentinel_for<_Iter1> _Sent1, 43fcaf7f86SDimitry Andric input_iterator _Iter2, 44fcaf7f86SDimitry Andric sentinel_for<_Iter2> _Sent2, 45fcaf7f86SDimitry Andric class _Proj1 = identity, 46fcaf7f86SDimitry Andric class _Proj2 = identity, 47753f127fSDimitry Andric indirect_strict_weak_order<projected<_Iter1, _Proj1>, projected<_Iter2, _Proj2>> _Comp = ranges::less> operator__fn48*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( 49fcaf7f86SDimitry Andric _Iter1 __first1, 50fcaf7f86SDimitry Andric _Sent1 __last1, 51fcaf7f86SDimitry Andric _Iter2 __first2, 52fcaf7f86SDimitry Andric _Sent2 __last2, 53fcaf7f86SDimitry Andric _Comp __comp = {}, 54fcaf7f86SDimitry Andric _Proj1 __proj1 = {}, 55fcaf7f86SDimitry Andric _Proj2 __proj2 = {}) const { 56fcaf7f86SDimitry Andric return std::__includes( 57fcaf7f86SDimitry Andric std::move(__first1), 58fcaf7f86SDimitry Andric std::move(__last1), 59fcaf7f86SDimitry Andric std::move(__first2), 60fcaf7f86SDimitry Andric std::move(__last2), 61972a253aSDimitry Andric std::move(__comp), 62972a253aSDimitry Andric std::move(__proj1), 63972a253aSDimitry Andric std::move(__proj2)); 64753f127fSDimitry Andric } 65753f127fSDimitry Andric 6606c3fb27SDimitry Andric template <input_range _Range1, 67fcaf7f86SDimitry Andric input_range _Range2, 68fcaf7f86SDimitry Andric class _Proj1 = identity, 69fcaf7f86SDimitry Andric class _Proj2 = identity, 70fcaf7f86SDimitry Andric indirect_strict_weak_order<projected<iterator_t<_Range1>, _Proj1>, projected<iterator_t<_Range2>, _Proj2>> 71fcaf7f86SDimitry Andric _Comp = ranges::less> operator__fn72*0fca6ea1SDimitry Andric [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( 73fcaf7f86SDimitry Andric _Range1&& __range1, _Range2&& __range2, _Comp __comp = {}, _Proj1 __proj1 = {}, _Proj2 __proj2 = {}) const { 74fcaf7f86SDimitry Andric return std::__includes( 75fcaf7f86SDimitry Andric ranges::begin(__range1), 76fcaf7f86SDimitry Andric ranges::end(__range1), 77fcaf7f86SDimitry Andric ranges::begin(__range2), 78fcaf7f86SDimitry Andric ranges::end(__range2), 79972a253aSDimitry Andric std::move(__comp), 80972a253aSDimitry Andric std::move(__proj1), 81972a253aSDimitry Andric std::move(__proj2)); 82753f127fSDimitry Andric } 83753f127fSDimitry Andric }; 84753f127fSDimitry Andric 85753f127fSDimitry Andric } // namespace __includes 86753f127fSDimitry Andric 87753f127fSDimitry Andric inline namespace __cpo { 88753f127fSDimitry Andric inline constexpr auto includes = __includes::__fn{}; 89753f127fSDimitry Andric } // namespace __cpo 90753f127fSDimitry Andric } // namespace ranges 91753f127fSDimitry Andric 92753f127fSDimitry Andric _LIBCPP_END_NAMESPACE_STD 93753f127fSDimitry Andric 9406c3fb27SDimitry Andric #endif // _LIBCPP_STD_VER >= 20 95753f127fSDimitry Andric 96b3edf446SDimitry Andric _LIBCPP_POP_MACROS 97b3edf446SDimitry Andric 98753f127fSDimitry Andric #endif // _LIBCPP___ALGORITHM_RANGES_INCLUDES_H 99