10e3dc1a5SNikolas Klauser //===----------------------------------------------------------------------===// 20e3dc1a5SNikolas Klauser // 30e3dc1a5SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40e3dc1a5SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information. 50e3dc1a5SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60e3dc1a5SNikolas Klauser // 70e3dc1a5SNikolas Klauser //===----------------------------------------------------------------------===// 80e3dc1a5SNikolas Klauser 90e3dc1a5SNikolas Klauser #ifndef _LIBCPP___ALGORITHM_RANGES_ALL_OF_H 100e3dc1a5SNikolas Klauser #define _LIBCPP___ALGORITHM_RANGES_ALL_OF_H 110e3dc1a5SNikolas Klauser 12*eab7be5dSNikolas Klauser #include <__algorithm/all_of.h> 130e3dc1a5SNikolas Klauser #include <__config> 140e3dc1a5SNikolas Klauser #include <__functional/identity.h> 150e3dc1a5SNikolas Klauser #include <__functional/invoke.h> 160e3dc1a5SNikolas Klauser #include <__iterator/concepts.h> 170e3dc1a5SNikolas Klauser #include <__iterator/projected.h> 180e3dc1a5SNikolas Klauser #include <__ranges/access.h> 190e3dc1a5SNikolas Klauser #include <__ranges/concepts.h> 200e3dc1a5SNikolas Klauser #include <__utility/move.h> 210e3dc1a5SNikolas Klauser 220e3dc1a5SNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 230e3dc1a5SNikolas Klauser # pragma GCC system_header 240e3dc1a5SNikolas Klauser #endif 250e3dc1a5SNikolas Klauser 267b462251SLouis Dionne _LIBCPP_PUSH_MACROS 277b462251SLouis Dionne #include <__undef_macros> 287b462251SLouis Dionne 294f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20 300e3dc1a5SNikolas Klauser 310e3dc1a5SNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD 320e3dc1a5SNikolas Klauser 330e3dc1a5SNikolas Klauser namespace ranges { 34d10dc5a0SChristopher Di Bella struct __all_of { 355aa03b64SLouis Dionne template <input_iterator _Iter, 365aa03b64SLouis Dionne sentinel_for<_Iter> _Sent, 375aa03b64SLouis Dionne class _Proj = identity, 380e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<_Iter, _Proj>> _Pred> 3983bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool 405aa03b64SLouis Dionne operator()(_Iter __first, _Sent __last, _Pred __pred, _Proj __proj = {}) const { 41*eab7be5dSNikolas Klauser return std::__all_of(std::move(__first), std::move(__last), __pred, __proj); 420e3dc1a5SNikolas Klauser } 430e3dc1a5SNikolas Klauser 445aa03b64SLouis Dionne template <input_range _Range, 455aa03b64SLouis Dionne class _Proj = identity, 460e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<iterator_t<_Range>, _Proj>> _Pred> 4783bc7b57SNikolas Klauser [[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool 485aa03b64SLouis Dionne operator()(_Range&& __range, _Pred __pred, _Proj __proj = {}) const { 49*eab7be5dSNikolas Klauser return std::__all_of(ranges::begin(__range), ranges::end(__range), __pred, __proj); 500e3dc1a5SNikolas Klauser } 510e3dc1a5SNikolas Klauser }; 520e3dc1a5SNikolas Klauser 530e3dc1a5SNikolas Klauser inline namespace __cpo { 54d10dc5a0SChristopher Di Bella inline constexpr auto all_of = __all_of{}; 550e3dc1a5SNikolas Klauser } // namespace __cpo 560e3dc1a5SNikolas Klauser } // namespace ranges 570e3dc1a5SNikolas Klauser 580e3dc1a5SNikolas Klauser _LIBCPP_END_NAMESPACE_STD 590e3dc1a5SNikolas Klauser 604f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20 610e3dc1a5SNikolas Klauser 627b462251SLouis Dionne _LIBCPP_POP_MACROS 637b462251SLouis Dionne 640e3dc1a5SNikolas Klauser #endif // _LIBCPP___ALGORITHM_RANGES_ALL_OF_H 65