181715861SNikolas Klauser //===----------------------------------------------------------------------===// 281715861SNikolas Klauser // 381715861SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 481715861SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information. 581715861SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 681715861SNikolas Klauser // 781715861SNikolas Klauser //===----------------------------------------------------------------------===// 881715861SNikolas Klauser 981715861SNikolas Klauser #ifndef _LIBCPP___ALGORITHM_RANGES_UPPER_BOUND_H 1081715861SNikolas Klauser #define _LIBCPP___ALGORITHM_RANGES_UPPER_BOUND_H 1181715861SNikolas Klauser 12988682a3SNikolas Klauser #include <__algorithm/iterator_operations.h> 1381715861SNikolas Klauser #include <__algorithm/lower_bound.h> 1481715861SNikolas Klauser #include <__config> 1581715861SNikolas Klauser #include <__functional/identity.h> 1681715861SNikolas Klauser #include <__functional/invoke.h> 1781715861SNikolas Klauser #include <__functional/ranges_operations.h> 1881715861SNikolas Klauser #include <__iterator/concepts.h> 1981715861SNikolas Klauser #include <__iterator/projected.h> 2081715861SNikolas Klauser #include <__ranges/access.h> 2181715861SNikolas Klauser #include <__ranges/concepts.h> 2281715861SNikolas Klauser #include <__ranges/dangling.h> 2381715861SNikolas Klauser 2481715861SNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 2581715861SNikolas Klauser # pragma GCC system_header 2681715861SNikolas Klauser #endif 2781715861SNikolas Klauser 284f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20 2981715861SNikolas Klauser 3081715861SNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD 3181715861SNikolas Klauser 3281715861SNikolas Klauser namespace ranges { 33*d10dc5a0SChristopher Di Bella struct __upper_bound { 345aa03b64SLouis Dionne template <forward_iterator _Iter, 355aa03b64SLouis Dionne sentinel_for<_Iter> _Sent, 365aa03b64SLouis Dionne class _Type, 375aa03b64SLouis Dionne class _Proj = identity, 3881715861SNikolas Klauser indirect_strict_weak_order<const _Type*, projected<_Iter, _Proj>> _Comp = ranges::less> 3983bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr _Iter 405aa03b64SLouis Dionne operator()(_Iter __first, _Sent __last, const _Type& __value, _Comp __comp = {}, _Proj __proj = {}) const { 4102540b2fSLouis Dionne auto __comp_lhs_rhs_swapped = [&](const auto& __lhs, const auto& __rhs) -> bool { 4281715861SNikolas Klauser return !std::invoke(__comp, __rhs, __lhs); 4381715861SNikolas Klauser }; 4481715861SNikolas Klauser 45d8655fb3SLouis Dionne return std::__lower_bound<_RangeAlgPolicy>(__first, __last, __value, __comp_lhs_rhs_swapped, __proj); 4681715861SNikolas Klauser } 4781715861SNikolas Klauser 485aa03b64SLouis Dionne template <forward_range _Range, 495aa03b64SLouis Dionne class _Type, 505aa03b64SLouis Dionne class _Proj = identity, 5181715861SNikolas Klauser indirect_strict_weak_order<const _Type*, projected<iterator_t<_Range>, _Proj>> _Comp = ranges::less> 5283bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr borrowed_iterator_t<_Range> 535aa03b64SLouis Dionne operator()(_Range&& __r, const _Type& __value, _Comp __comp = {}, _Proj __proj = {}) const { 5402540b2fSLouis Dionne auto __comp_lhs_rhs_swapped = [&](const auto& __lhs, const auto& __rhs) -> bool { 5581715861SNikolas Klauser return !std::invoke(__comp, __rhs, __lhs); 5681715861SNikolas Klauser }; 5781715861SNikolas Klauser 585aa03b64SLouis Dionne return std::__lower_bound<_RangeAlgPolicy>( 595aa03b64SLouis Dionne ranges::begin(__r), ranges::end(__r), __value, __comp_lhs_rhs_swapped, __proj); 6081715861SNikolas Klauser } 6181715861SNikolas Klauser }; 6281715861SNikolas Klauser 6381715861SNikolas Klauser inline namespace __cpo { 64*d10dc5a0SChristopher Di Bella inline constexpr auto upper_bound = __upper_bound{}; 6581715861SNikolas Klauser } // namespace __cpo 6681715861SNikolas Klauser } // namespace ranges 6781715861SNikolas Klauser 6881715861SNikolas Klauser _LIBCPP_END_NAMESPACE_STD 6981715861SNikolas Klauser 704f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20 7181715861SNikolas Klauser 7281715861SNikolas Klauser #endif // _LIBCPP___ALGORITHM_RANGES_UPPER_BOUND_H 73