xref: /llvm-project/libcxx/include/__algorithm/ranges_find_if_not.h (revision d10dc5a06fac4dcabf2264c64c8672c6f6ae36fb)
1ee0f8c40SNikolas Klauser //===----------------------------------------------------------------------===//
2ee0f8c40SNikolas Klauser //
3ee0f8c40SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4ee0f8c40SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information.
5ee0f8c40SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6ee0f8c40SNikolas Klauser //
7ee0f8c40SNikolas Klauser //===----------------------------------------------------------------------===//
8ee0f8c40SNikolas Klauser 
9ee0f8c40SNikolas Klauser #ifndef _LIBCPP___ALGORITHM_RANGES_FIND_IF_NOT_H
10ee0f8c40SNikolas Klauser #define _LIBCPP___ALGORITHM_RANGES_FIND_IF_NOT_H
11ee0f8c40SNikolas Klauser 
12ee0f8c40SNikolas Klauser #include <__algorithm/ranges_find_if.h>
13ee0f8c40SNikolas Klauser #include <__config>
14ee0f8c40SNikolas Klauser #include <__functional/identity.h>
15ee0f8c40SNikolas Klauser #include <__functional/invoke.h>
16ee0f8c40SNikolas Klauser #include <__functional/ranges_operations.h>
17ee0f8c40SNikolas Klauser #include <__iterator/concepts.h>
18ee0f8c40SNikolas Klauser #include <__iterator/projected.h>
19ee0f8c40SNikolas Klauser #include <__ranges/access.h>
20ee0f8c40SNikolas Klauser #include <__ranges/concepts.h>
21ee0f8c40SNikolas Klauser #include <__ranges/dangling.h>
22ee0f8c40SNikolas Klauser #include <__utility/forward.h>
23ee0f8c40SNikolas Klauser #include <__utility/move.h>
24ee0f8c40SNikolas Klauser 
25ee0f8c40SNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
26ee0f8c40SNikolas Klauser #  pragma GCC system_header
27ee0f8c40SNikolas Klauser #endif
28ee0f8c40SNikolas Klauser 
297b462251SLouis Dionne _LIBCPP_PUSH_MACROS
307b462251SLouis Dionne #include <__undef_macros>
317b462251SLouis Dionne 
324f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20
33ee0f8c40SNikolas Klauser 
34ee0f8c40SNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD
35ee0f8c40SNikolas Klauser 
36ee0f8c40SNikolas Klauser namespace ranges {
37*d10dc5a0SChristopher Di Bella struct __find_if_not {
385aa03b64SLouis Dionne   template <input_iterator _Ip,
395aa03b64SLouis Dionne             sentinel_for<_Ip> _Sp,
405aa03b64SLouis Dionne             class _Proj = identity,
41ee0f8c40SNikolas Klauser             indirect_unary_predicate<projected<_Ip, _Proj>> _Pred>
4283bc7b57SNikolas Klauser   [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr _Ip
435aa03b64SLouis Dionne   operator()(_Ip __first, _Sp __last, _Pred __pred, _Proj __proj = {}) const {
4402540b2fSLouis Dionne     auto __pred2 = [&](auto&& __e) -> bool { return !std::invoke(__pred, std::forward<decltype(__e)>(__e)); };
45ee0f8c40SNikolas Klauser     return ranges::__find_if_impl(std::move(__first), std::move(__last), __pred2, __proj);
46ee0f8c40SNikolas Klauser   }
47ee0f8c40SNikolas Klauser 
485aa03b64SLouis Dionne   template <input_range _Rp, class _Proj = identity, indirect_unary_predicate<projected<iterator_t<_Rp>, _Proj>> _Pred>
4983bc7b57SNikolas Klauser   [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr borrowed_iterator_t<_Rp>
505aa03b64SLouis Dionne   operator()(_Rp&& __r, _Pred __pred, _Proj __proj = {}) const {
5102540b2fSLouis Dionne     auto __pred2 = [&](auto&& __e) -> bool { return !std::invoke(__pred, std::forward<decltype(__e)>(__e)); };
52ee0f8c40SNikolas Klauser     return ranges::__find_if_impl(ranges::begin(__r), ranges::end(__r), __pred2, __proj);
53ee0f8c40SNikolas Klauser   }
54ee0f8c40SNikolas Klauser };
55ee0f8c40SNikolas Klauser 
56ee0f8c40SNikolas Klauser inline namespace __cpo {
57*d10dc5a0SChristopher Di Bella inline constexpr auto find_if_not = __find_if_not{};
58ee0f8c40SNikolas Klauser } // namespace __cpo
59ee0f8c40SNikolas Klauser } // namespace ranges
60ee0f8c40SNikolas Klauser 
61ee0f8c40SNikolas Klauser _LIBCPP_END_NAMESPACE_STD
62ee0f8c40SNikolas Klauser 
634f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20
64ee0f8c40SNikolas Klauser 
657b462251SLouis Dionne _LIBCPP_POP_MACROS
667b462251SLouis Dionne 
67ee0f8c40SNikolas Klauser #endif // _LIBCPP___ALGORITHM_RANGES_FIND_IF_NOT_H
68