1 | //===----------------------------------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #ifndef _LIBCPP___ALGORITHM_RANGES_INCLUDES_H |
10 | #define _LIBCPP___ALGORITHM_RANGES_INCLUDES_H |
11 | |
12 | #include <__algorithm/includes.h> |
13 | #include <__algorithm/make_projected.h> |
14 | #include <__config> |
15 | #include <__functional/identity.h> |
16 | #include <__functional/invoke.h> |
17 | #include <__functional/ranges_operations.h> |
18 | #include <__iterator/concepts.h> |
19 | #include <__iterator/iterator_traits.h> |
20 | #include <__iterator/projected.h> |
21 | #include <__ranges/access.h> |
22 | #include <__ranges/concepts.h> |
23 | #include <__utility/forward.h> |
24 | #include <__utility/move.h> |
25 | |
26 | #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) |
27 | # pragma GCC system_header |
28 | #endif |
29 | |
30 | _LIBCPP_PUSH_MACROS |
31 | #include <__undef_macros> |
32 | |
33 | #if _LIBCPP_STD_VER >= 20 |
34 | |
35 | _LIBCPP_BEGIN_NAMESPACE_STD |
36 | |
37 | namespace ranges { |
38 | namespace __includes { |
39 | |
40 | struct __fn { |
41 | template <input_iterator _Iter1, |
42 | sentinel_for<_Iter1> _Sent1, |
43 | input_iterator _Iter2, |
44 | sentinel_for<_Iter2> _Sent2, |
45 | class _Proj1 = identity, |
46 | class _Proj2 = identity, |
47 | indirect_strict_weak_order<projected<_Iter1, _Proj1>, projected<_Iter2, _Proj2>> _Comp = ranges::less> |
48 | [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( |
49 | _Iter1 __first1, |
50 | _Sent1 __last1, |
51 | _Iter2 __first2, |
52 | _Sent2 __last2, |
53 | _Comp __comp = {}, |
54 | _Proj1 __proj1 = {}, |
55 | _Proj2 __proj2 = {}) const { |
56 | return std::__includes( |
57 | std::move(__first1), |
58 | std::move(__last1), |
59 | std::move(__first2), |
60 | std::move(__last2), |
61 | std::move(__comp), |
62 | std::move(__proj1), |
63 | std::move(__proj2)); |
64 | } |
65 | |
66 | template <input_range _Range1, |
67 | input_range _Range2, |
68 | class _Proj1 = identity, |
69 | class _Proj2 = identity, |
70 | indirect_strict_weak_order<projected<iterator_t<_Range1>, _Proj1>, projected<iterator_t<_Range2>, _Proj2>> |
71 | _Comp = ranges::less> |
72 | [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool operator()( |
73 | _Range1&& __range1, _Range2&& __range2, _Comp __comp = {}, _Proj1 __proj1 = {}, _Proj2 __proj2 = {}) const { |
74 | return std::__includes( |
75 | ranges::begin(__range1), |
76 | ranges::end(__range1), |
77 | ranges::begin(__range2), |
78 | ranges::end(__range2), |
79 | std::move(__comp), |
80 | std::move(__proj1), |
81 | std::move(__proj2)); |
82 | } |
83 | }; |
84 | |
85 | } // namespace __includes |
86 | |
87 | inline namespace __cpo { |
88 | inline constexpr auto includes = __includes::__fn{}; |
89 | } // namespace __cpo |
90 | } // namespace ranges |
91 | |
92 | _LIBCPP_END_NAMESPACE_STD |
93 | |
94 | #endif // _LIBCPP_STD_VER >= 20 |
95 | |
96 | _LIBCPP_POP_MACROS |
97 | |
98 | #endif // _LIBCPP___ALGORITHM_RANGES_INCLUDES_H |
99 | |