13e519524SHoward Hinnant// -*- C++ -*- 2eb8650a7SLouis Dionne//===----------------------------------------------------------------------===// 33e519524SHoward Hinnant// 457b08b09SChandler Carruth// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 557b08b09SChandler Carruth// See https://llvm.org/LICENSE.txt for license information. 657b08b09SChandler Carruth// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 73e519524SHoward Hinnant// 83e519524SHoward Hinnant//===----------------------------------------------------------------------===// 93e519524SHoward Hinnant 103e519524SHoward Hinnant#ifndef _LIBCPP_ALGORITHM 113e519524SHoward Hinnant#define _LIBCPP_ALGORITHM 123e519524SHoward Hinnant 133e519524SHoward Hinnant/* 143e519524SHoward Hinnant algorithm synopsis 153e519524SHoward Hinnant 163e519524SHoward Hinnant#include <initializer_list> 173e519524SHoward Hinnant 183e519524SHoward Hinnantnamespace std 193e519524SHoward Hinnant{ 203e519524SHoward Hinnant 21d3729bb3SNikolas Klausernamespace ranges { 2279a2b4baSKonstantin Varlamov 2379a2b4baSKonstantin Varlamov // [algorithms.results], algorithm result types 241e77b396SNikolas Klauser template <class I, class F> 251e77b396SNikolas Klauser struct in_fun_result; // since C++20 261e77b396SNikolas Klauser 27d3729bb3SNikolas Klauser template <class I1, class I2> 28d3729bb3SNikolas Klauser struct in_in_result; // since C++20 29f3514af4SNikolas Klauser 3079a2b4baSKonstantin Varlamov template <class I, class O> 3179a2b4baSKonstantin Varlamov struct in_out_result; // since C++20 3279a2b4baSKonstantin Varlamov 33f3514af4SNikolas Klauser template <class I1, class I2, class O> 34f3514af4SNikolas Klauser struct in_in_out_result; // since C++20 35610979b3SNikolas Klauser 36610979b3SNikolas Klauser template <class I, class O1, class O2> 37610979b3SNikolas Klauser struct in_out_out_result; // since C++20 381e77b396SNikolas Klauser 39807766beSNikolas Klauser template <class I1, class I2> 40807766beSNikolas Klauser struct min_max_result; // since C++20 41807766beSNikolas Klauser 4268f4131cSNikolas Klauser template <class I> 4368f4131cSNikolas Klauser struct in_found_result; // since C++20 4468f4131cSNikolas Klauser 453b470d1cSNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 463b470d1cSNikolas Klauser indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less> // since C++20 473b470d1cSNikolas Klauser constexpr I min_element(I first, S last, Comp comp = {}, Proj proj = {}); 483b470d1cSNikolas Klauser 493b470d1cSNikolas Klauser template<forward_range R, class Proj = identity, 503b470d1cSNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> // since C++20 513b470d1cSNikolas Klauser constexpr borrowed_iterator_t<R> min_element(R&& r, Comp comp = {}, Proj proj = {}); 52c2cd15a6SNikolas Klauser 5340f7fca3SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 5440f7fca3SNikolas Klauser indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less> 5540f7fca3SNikolas Klauser constexpr I ranges::max_element(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 5640f7fca3SNikolas Klauser 5740f7fca3SNikolas Klauser template<forward_range R, class Proj = identity, 5840f7fca3SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 5940f7fca3SNikolas Klauser constexpr borrowed_iterator_t<R> ranges::max_element(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 6040f7fca3SNikolas Klauser 6179a2b4baSKonstantin Varlamov template<class I1, class I2> 6279a2b4baSKonstantin Varlamov using mismatch_result = in_in_result<I1, I2>; 6379a2b4baSKonstantin Varlamov 64c2cd15a6SNikolas Klauser template <input_iterator I1, sentinel_for<_I1> S1, input_iterator I2, sentinel_for<_I2> S2, 65c2cd15a6SNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 66c2cd15a6SNikolas Klauser requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2> 67c2cd15a6SNikolas Klauser constexpr mismatch_result<_I1, _I2> 68c2cd15a6SNikolas Klauser mismatch()(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) // since C++20 69c2cd15a6SNikolas Klauser 70c2cd15a6SNikolas Klauser template <input_range R1, input_range R2, 71c2cd15a6SNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 72c2cd15a6SNikolas Klauser requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2> 73c2cd15a6SNikolas Klauser constexpr mismatch_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>> 74c2cd15a6SNikolas Klauser mismatch(R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) // since C++20 75ee0f8c40SNikolas Klauser 76ee0f8c40SNikolas Klauser requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*> 77ee0f8c40SNikolas Klauser constexpr I find(I first, S last, const T& value, Proj proj = {}); // since C++20 78ee0f8c40SNikolas Klauser 79ee0f8c40SNikolas Klauser template<input_range R, class T, class Proj = identity> 80ee0f8c40SNikolas Klauser requires indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*> 81ee0f8c40SNikolas Klauser constexpr borrowed_iterator_t<R> 82ee0f8c40SNikolas Klauser find(R&& r, const T& value, Proj proj = {}); // since C++20 83ee0f8c40SNikolas Klauser 84ee0f8c40SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 85ee0f8c40SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 86ee0f8c40SNikolas Klauser constexpr I find_if(I first, S last, Pred pred, Proj proj = {}); // since C++20 87ee0f8c40SNikolas Klauser 88ee0f8c40SNikolas Klauser template<input_range R, class Proj = identity, 89ee0f8c40SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 90ee0f8c40SNikolas Klauser constexpr borrowed_iterator_t<R> 91ee0f8c40SNikolas Klauser find_if(R&& r, Pred pred, Proj proj = {}); // since C++20 92ee0f8c40SNikolas Klauser 93ee0f8c40SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 94ee0f8c40SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 95ee0f8c40SNikolas Klauser constexpr I find_if_not(I first, S last, Pred pred, Proj proj = {}); // since C++20 96ee0f8c40SNikolas Klauser 97ee0f8c40SNikolas Klauser template<input_range R, class Proj = identity, 98ee0f8c40SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 99ee0f8c40SNikolas Klauser constexpr borrowed_iterator_t<R> 100ee0f8c40SNikolas Klauser find_if_not(R&& r, Pred pred, Proj proj = {}); // since C++20 101f83d833eSNikolas Klauser 102f83d833eSNikolas Klauser template<class T, class Proj = identity, 103f83d833eSNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 104f83d833eSNikolas Klauser constexpr const T& min(const T& a, const T& b, Comp comp = {}, Proj proj = {}); // since C++20 105f83d833eSNikolas Klauser 106f83d833eSNikolas Klauser template<copyable T, class Proj = identity, 107f83d833eSNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 108f83d833eSNikolas Klauser constexpr T min(initializer_list<T> r, Comp comp = {}, Proj proj = {}); // since C++20 109f83d833eSNikolas Klauser 110f83d833eSNikolas Klauser template<input_range R, class Proj = identity, 111f83d833eSNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 112f83d833eSNikolas Klauser requires indirectly_copyable_storable<iterator_t<R>, range_value_t<R>*> 113f83d833eSNikolas Klauser constexpr range_value_t<R> 114f83d833eSNikolas Klauser min(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 115e476df56SNikolas Klauser 116e476df56SNikolas Klauser template<class T, class Proj = identity, 117e476df56SNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 118e476df56SNikolas Klauser constexpr const T& max(const T& a, const T& b, Comp comp = {}, Proj proj = {}); // since C++20 119e476df56SNikolas Klauser 120e476df56SNikolas Klauser template<copyable T, class Proj = identity, 121e476df56SNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 122e476df56SNikolas Klauser constexpr T max(initializer_list<T> r, Comp comp = {}, Proj proj = {}); // since C++20 123e476df56SNikolas Klauser 124e476df56SNikolas Klauser template<input_range R, class Proj = identity, 125e476df56SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 126e476df56SNikolas Klauser requires indirectly_copyable_storable<iterator_t<R>, range_value_t<R>*> 127e476df56SNikolas Klauser constexpr range_value_t<R> 128e476df56SNikolas Klauser max(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 1293ba8548cSNikolas Klauser 1303ba8548cSNikolas Klauser template<class I, class O> 1313ba8548cSNikolas Klauser using unary_transform_result = in_out_result<I, O>; // since C++20 1323ba8548cSNikolas Klauser 1333ba8548cSNikolas Klauser template<class I1, class I2, class O> 1343ba8548cSNikolas Klauser using binary_transform_result = in_in_out_result<I1, I2, O>; // since C++20 1353ba8548cSNikolas Klauser 1363ba8548cSNikolas Klauser template<input_iterator I, sentinel_for<I> S, weakly_incrementable O, 1373ba8548cSNikolas Klauser copy_constructible F, class Proj = identity> 1383ba8548cSNikolas Klauser requires indirectly_writable<O, indirect_result_t<F&, projected<I, Proj>>> 1393ba8548cSNikolas Klauser constexpr ranges::unary_transform_result<I, O> 1403ba8548cSNikolas Klauser transform(I first1, S last1, O result, F op, Proj proj = {}); // since C++20 1413ba8548cSNikolas Klauser 1423ba8548cSNikolas Klauser template<input_range R, weakly_incrementable O, copy_constructible F, 1433ba8548cSNikolas Klauser class Proj = identity> 1443ba8548cSNikolas Klauser requires indirectly_writable<O, indirect_result_t<F&, projected<iterator_t<R>, Proj>>> 1453ba8548cSNikolas Klauser constexpr ranges::unary_transform_result<borrowed_iterator_t<R>, O> 1463ba8548cSNikolas Klauser transform(R&& r, O result, F op, Proj proj = {}); // since C++20 1473ba8548cSNikolas Klauser 1483ba8548cSNikolas Klauser template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 1493ba8548cSNikolas Klauser weakly_incrementable O, copy_constructible F, class Proj1 = identity, 1503ba8548cSNikolas Klauser class Proj2 = identity> 1513ba8548cSNikolas Klauser requires indirectly_writable<O, indirect_result_t<F&, projected<I1, Proj1>, 1523ba8548cSNikolas Klauser projected<I2, Proj2>>> 1533ba8548cSNikolas Klauser constexpr ranges::binary_transform_result<I1, I2, O> 1543ba8548cSNikolas Klauser transform(I1 first1, S1 last1, I2 first2, S2 last2, O result, 1553ba8548cSNikolas Klauser F binary_op, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 1563ba8548cSNikolas Klauser 1573ba8548cSNikolas Klauser template<input_range R1, input_range R2, weakly_incrementable O, 1583ba8548cSNikolas Klauser copy_constructible F, class Proj1 = identity, class Proj2 = identity> 1593ba8548cSNikolas Klauser requires indirectly_writable<O, indirect_result_t<F&, projected<iterator_t<R1>, Proj1>, 1603ba8548cSNikolas Klauser projected<iterator_t<R2>, Proj2>>> 1613ba8548cSNikolas Klauser constexpr ranges::binary_transform_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, O> 1623ba8548cSNikolas Klauser transform(R1&& r1, R2&& r2, O result, 1633ba8548cSNikolas Klauser F binary_op, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 1641306b102SNikolas Klauser 1651306b102SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class T, class Proj = identity> 1661306b102SNikolas Klauser requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*> 1671306b102SNikolas Klauser constexpr iter_difference_t<I> 1681306b102SNikolas Klauser count(I first, S last, const T& value, Proj proj = {}); // since C++20 1691306b102SNikolas Klauser 1701306b102SNikolas Klauser template<input_range R, class T, class Proj = identity> 1711306b102SNikolas Klauser requires indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*> 1721306b102SNikolas Klauser constexpr range_difference_t<R> 1731306b102SNikolas Klauser count(R&& r, const T& value, Proj proj = {}); // since C++20 1741306b102SNikolas Klauser 1751306b102SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 1761306b102SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 1771306b102SNikolas Klauser constexpr iter_difference_t<I> 1781306b102SNikolas Klauser count_if(I first, S last, Pred pred, Proj proj = {}); // since C++20 1791306b102SNikolas Klauser 1801306b102SNikolas Klauser template<input_range R, class Proj = identity, 1811306b102SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 1821306b102SNikolas Klauser constexpr range_difference_t<R> 1831306b102SNikolas Klauser count_if(R&& r, Pred pred, Proj proj = {}); // since C++20 18458d9ab70SNikolas Klauser 18579a2b4baSKonstantin Varlamov template<class T> 18679a2b4baSKonstantin Varlamov using minmax_result = min_max_result<T>; 18779a2b4baSKonstantin Varlamov 18858d9ab70SNikolas Klauser template<class T, class Proj = identity, 18958d9ab70SNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 19058d9ab70SNikolas Klauser constexpr ranges::minmax_result<const T&> 19158d9ab70SNikolas Klauser minmax(const T& a, const T& b, Comp comp = {}, Proj proj = {}); // since C++20 19258d9ab70SNikolas Klauser 19358d9ab70SNikolas Klauser template<copyable T, class Proj = identity, 19458d9ab70SNikolas Klauser indirect_strict_weak_order<projected<const T*, Proj>> Comp = ranges::less> 19558d9ab70SNikolas Klauser constexpr ranges::minmax_result<T> 19658d9ab70SNikolas Klauser minmax(initializer_list<T> r, Comp comp = {}, Proj proj = {}); // since C++20 19758d9ab70SNikolas Klauser 19858d9ab70SNikolas Klauser template<input_range R, class Proj = identity, 19958d9ab70SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 20058d9ab70SNikolas Klauser requires indirectly_copyable_storable<iterator_t<R>, range_value_t<R>*> 20158d9ab70SNikolas Klauser constexpr ranges::minmax_result<range_value_t<R>> 20258d9ab70SNikolas Klauser minmax(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 20358d9ab70SNikolas Klauser 20479a2b4baSKonstantin Varlamov template<class I> 20579a2b4baSKonstantin Varlamov using minmax_element_result = min_max_result<I>; 20679a2b4baSKonstantin Varlamov 20758d9ab70SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 20858d9ab70SNikolas Klauser indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less> 20958d9ab70SNikolas Klauser constexpr ranges::minmax_element_result<I> 21058d9ab70SNikolas Klauser minmax_element(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 21158d9ab70SNikolas Klauser 21258d9ab70SNikolas Klauser template<forward_range R, class Proj = identity, 21358d9ab70SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 21458d9ab70SNikolas Klauser constexpr ranges::minmax_element_result<borrowed_iterator_t<R>> 21558d9ab70SNikolas Klauser minmax_element(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 2161d83750fSNikolas Klauser 2171d83750fSNikolas Klauser template<class I, class O> 2181d83750fSNikolas Klauser using copy_result = in_out_result<I, O>; // since C++20 2191d83750fSNikolas Klauser 2201d83750fSNikolas Klauser template<class I, class O> 2211d83750fSNikolas Klauser using copy_n_result = in_out_result<I, O>; // since C++20 2221d83750fSNikolas Klauser 2231d83750fSNikolas Klauser template<class I, class O> 2241d83750fSNikolas Klauser using copy_if_result = in_out_result<I, O>; // since C++20 2251d83750fSNikolas Klauser 2261d83750fSNikolas Klauser template<class I1, class I2> 2271d83750fSNikolas Klauser using copy_backward_result = in_out_result<I1, I2>; // since C++20 2281d83750fSNikolas Klauser 2291d83750fSNikolas Klauser template<input_iterator I, sentinel_for<I> S, weakly_incrementable O> 2301d83750fSNikolas Klauser requires indirectly_copyable<I, O> 2311d83750fSNikolas Klauser constexpr ranges::copy_result<I, O> ranges::copy(I first, S last, O result); // since C++20 2321d83750fSNikolas Klauser 2331d83750fSNikolas Klauser template<input_range R, weakly_incrementable O> 2341d83750fSNikolas Klauser requires indirectly_copyable<iterator_t<R>, O> 2351d83750fSNikolas Klauser constexpr ranges::copy_result<borrowed_iterator_t<R>, O> ranges::copy(R&& r, O result); // since C++20 2361d83750fSNikolas Klauser 2371d83750fSNikolas Klauser template<input_iterator I, weakly_incrementable O> 2381d83750fSNikolas Klauser requires indirectly_copyable<I, O> 2391d83750fSNikolas Klauser constexpr ranges::copy_n_result<I, O> 2401d83750fSNikolas Klauser ranges::copy_n(I first, iter_difference_t<I> n, O result); // since C++20 2411d83750fSNikolas Klauser 2421d83750fSNikolas Klauser template<input_iterator I, sentinel_for<I> S, weakly_incrementable O, class Proj = identity, 2431d83750fSNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 2441d83750fSNikolas Klauser requires indirectly_copyable<I, O> 2451d83750fSNikolas Klauser constexpr ranges::copy_if_result<I, O> 2461d83750fSNikolas Klauser ranges::copy_if(I first, S last, O result, Pred pred, Proj proj = {}); // since C++20 2471d83750fSNikolas Klauser 2481d83750fSNikolas Klauser template<input_range R, weakly_incrementable O, class Proj = identity, 2491d83750fSNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 2501d83750fSNikolas Klauser requires indirectly_copyable<iterator_t<R>, O> 2511d83750fSNikolas Klauser constexpr ranges::copy_if_result<borrowed_iterator_t<R>, O> 2521d83750fSNikolas Klauser ranges::copy_if(R&& r, O result, Pred pred, Proj proj = {}); // since C++20 2531d83750fSNikolas Klauser 2541d83750fSNikolas Klauser template<bidirectional_iterator I1, sentinel_for<I1> S1, bidirectional_iterator I2> 2551d83750fSNikolas Klauser requires indirectly_copyable<I1, I2> 2561d83750fSNikolas Klauser constexpr ranges::copy_backward_result<I1, I2> 2571d83750fSNikolas Klauser ranges::copy_backward(I1 first, S1 last, I2 result); // since C++20 2581d83750fSNikolas Klauser 2591d83750fSNikolas Klauser template<bidirectional_range R, bidirectional_iterator I> 2601d83750fSNikolas Klauser requires indirectly_copyable<iterator_t<R>, I> 2611d83750fSNikolas Klauser constexpr ranges::copy_backward_result<borrowed_iterator_t<R>, I> 2621d83750fSNikolas Klauser ranges::copy_backward(R&& r, I result); // since C++20 26380045e9aSNikolas Klauser 26480045e9aSNikolas Klauser template<class I, class F> 26580045e9aSNikolas Klauser using for_each_result = in_fun_result<I, F>; // since C++20 26680045e9aSNikolas Klauser 26780045e9aSNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 26880045e9aSNikolas Klauser indirectly_unary_invocable<projected<I, Proj>> Fun> 26980045e9aSNikolas Klauser constexpr ranges::for_each_result<I, Fun> 27080045e9aSNikolas Klauser ranges::for_each(I first, S last, Fun f, Proj proj = {}); // since C++20 27180045e9aSNikolas Klauser 27280045e9aSNikolas Klauser template<input_range R, class Proj = identity, 27380045e9aSNikolas Klauser indirectly_unary_invocable<projected<iterator_t<R>, Proj>> Fun> 27480045e9aSNikolas Klauser constexpr ranges::for_each_result<borrowed_iterator_t<R>, Fun> 27580045e9aSNikolas Klauser ranges::for_each(R&& r, Fun f, Proj proj = {}); // since C++20 27680045e9aSNikolas Klauser 27780045e9aSNikolas Klauser template<input_iterator I, class Proj = identity, 27880045e9aSNikolas Klauser indirectly_unary_invocable<projected<I, Proj>> Fun> 27980045e9aSNikolas Klauser constexpr ranges::for_each_n_result<I, Fun> 28080045e9aSNikolas Klauser ranges::for_each_n(I first, iter_difference_t<I> n, Fun f, Proj proj = {}); // since C++20 28137ba1b9dSNikolas Klauser 28237ba1b9dSNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 28337ba1b9dSNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 28437ba1b9dSNikolas Klauser constexpr bool ranges::is_partitioned(I first, S last, Pred pred, Proj proj = {}); // since C++20 28537ba1b9dSNikolas Klauser 28637ba1b9dSNikolas Klauser template<input_range R, class Proj = identity, 28737ba1b9dSNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 28837ba1b9dSNikolas Klauser constexpr bool ranges::is_partitioned(R&& r, Pred pred, Proj proj = {}); // since C++20 28937ba1b9dSNikolas Klauser 290c945bd0dSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 291c945bd0dSKonstantin Varlamov class Proj = identity> 292c945bd0dSKonstantin Varlamov requires sortable<I, Comp, Proj> 293c945bd0dSKonstantin Varlamov constexpr I 294c945bd0dSKonstantin Varlamov ranges::push_heap(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 295c945bd0dSKonstantin Varlamov 296c945bd0dSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 297c945bd0dSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 298c945bd0dSKonstantin Varlamov constexpr borrowed_iterator_t<R> 299c945bd0dSKonstantin Varlamov ranges::push_heap(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 300c945bd0dSKonstantin Varlamov 301c945bd0dSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 302c945bd0dSKonstantin Varlamov class Proj = identity> 303c945bd0dSKonstantin Varlamov requires sortable<I, Comp, Proj> 304c945bd0dSKonstantin Varlamov constexpr I 305c945bd0dSKonstantin Varlamov ranges::pop_heap(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 306c945bd0dSKonstantin Varlamov 307c945bd0dSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 308c945bd0dSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 309c945bd0dSKonstantin Varlamov constexpr borrowed_iterator_t<R> 310c945bd0dSKonstantin Varlamov ranges::pop_heap(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 311c945bd0dSKonstantin Varlamov 312c945bd0dSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 313c945bd0dSKonstantin Varlamov class Proj = identity> 314c945bd0dSKonstantin Varlamov requires sortable<I, Comp, Proj> 315c945bd0dSKonstantin Varlamov constexpr I 316c945bd0dSKonstantin Varlamov ranges::make_heap(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 317c945bd0dSKonstantin Varlamov 318c945bd0dSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 319c945bd0dSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 320c945bd0dSKonstantin Varlamov constexpr borrowed_iterator_t<R> 321c945bd0dSKonstantin Varlamov ranges::make_heap(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 322c945bd0dSKonstantin Varlamov 323c945bd0dSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 324c945bd0dSKonstantin Varlamov class Proj = identity> 325c945bd0dSKonstantin Varlamov requires sortable<I, Comp, Proj> 326c945bd0dSKonstantin Varlamov constexpr I 327c945bd0dSKonstantin Varlamov ranges::sort_heap(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 328c945bd0dSKonstantin Varlamov 329c945bd0dSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 330c945bd0dSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 331c945bd0dSKonstantin Varlamov constexpr borrowed_iterator_t<R> 332c945bd0dSKonstantin Varlamov ranges::sort_heap(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 333c945bd0dSKonstantin Varlamov 3341d1a191eSNikolas Klauser template<bidirectional_iterator I, sentinel_for<I> S> 3351d1a191eSNikolas Klauser requires permutable<I> 3361d1a191eSNikolas Klauser constexpr I ranges::reverse(I first, S last); // since C++20 3371d1a191eSNikolas Klauser 3381d1a191eSNikolas Klauser template<bidirectional_range R> 3391d1a191eSNikolas Klauser requires permutable<iterator_t<R>> 3401d1a191eSNikolas Klauser constexpr borrowed_iterator_t<R> ranges::reverse(R&& r); // since C++20 3411d1a191eSNikolas Klauser 342ff3989e6SKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 343ff3989e6SKonstantin Varlamov class Proj = identity> 344ff3989e6SKonstantin Varlamov requires sortable<I, Comp, Proj> 345ff3989e6SKonstantin Varlamov constexpr I 34694c7b89fSKonstantin Varlamov ranges::sort(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 347ff3989e6SKonstantin Varlamov 348ff3989e6SKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 349ff3989e6SKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 350ff3989e6SKonstantin Varlamov constexpr borrowed_iterator_t<R> 35194c7b89fSKonstantin Varlamov ranges::sort(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 35294c7b89fSKonstantin Varlamov 35394c7b89fSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 35494c7b89fSKonstantin Varlamov class Proj = identity> 35594c7b89fSKonstantin Varlamov requires sortable<I, Comp, Proj> 35694c7b89fSKonstantin Varlamov I ranges::stable_sort(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 35794c7b89fSKonstantin Varlamov 35894c7b89fSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 35994c7b89fSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 36094c7b89fSKonstantin Varlamov borrowed_iterator_t<R> 36194c7b89fSKonstantin Varlamov ranges::stable_sort(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 362ff3989e6SKonstantin Varlamov 3635dd19adaSvarconst template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 3645dd19adaSvarconst class Proj = identity> 3655dd19adaSvarconst requires sortable<I, Comp, Proj> 3665dd19adaSvarconst constexpr I 3675dd19adaSvarconst ranges::partial_sort(I first, I middle, S last, Comp comp = {}, Proj proj = {}); // since C++20 3685dd19adaSvarconst 3695dd19adaSvarconst template<random_access_range R, class Comp = ranges::less, class Proj = identity> 3705dd19adaSvarconst requires sortable<iterator_t<R>, Comp, Proj> 3715dd19adaSvarconst constexpr borrowed_iterator_t<R> 3725dd19adaSvarconst ranges::partial_sort(R&& r, iterator_t<R> middle, Comp comp = {}, Proj proj = {}); // since C++20 3735dd19adaSvarconst 3747af89a37SNikolas Klauser template<class T, output_iterator<const T&> O, sentinel_for<O> S> 3757af89a37SNikolas Klauser constexpr O ranges::fill(O first, S last, const T& value); // since C++20 3767af89a37SNikolas Klauser 3777af89a37SNikolas Klauser template<class T, output_range<const T&> R> 3787af89a37SNikolas Klauser constexpr borrowed_iterator_t<R> ranges::fill(R&& r, const T& value); // since C++20 3797af89a37SNikolas Klauser 3807af89a37SNikolas Klauser template<class T, output_iterator<const T&> O> 3817af89a37SNikolas Klauser constexpr O ranges::fill_n(O first, iter_difference_t<O> n, const T& value); // since C++20 382569d6630SNikolas Klauser 383569d6630SNikolas Klauser template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 384569d6630SNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 385569d6630SNikolas Klauser requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2> 386569d6630SNikolas Klauser constexpr bool ranges::equal(I1 first1, S1 last1, I2 first2, S2 last2, 387569d6630SNikolas Klauser Pred pred = {}, 388569d6630SNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 389569d6630SNikolas Klauser 390569d6630SNikolas Klauser template<input_range R1, input_range R2, class Pred = ranges::equal_to, 391569d6630SNikolas Klauser class Proj1 = identity, class Proj2 = identity> 392569d6630SNikolas Klauser requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2> 393569d6630SNikolas Klauser constexpr bool ranges::equal(R1&& r1, R2&& r2, Pred pred = {}, 394569d6630SNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 395569d6630SNikolas Klauser 3960e3dc1a5SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 3970e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 3980e3dc1a5SNikolas Klauser constexpr bool ranges::all_of(I first, S last, Pred pred, Proj proj = {}); // since C++20 3990e3dc1a5SNikolas Klauser 4000e3dc1a5SNikolas Klauser template<input_range R, class Proj = identity, 4010e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 4020e3dc1a5SNikolas Klauser constexpr bool ranges::all_of(R&& r, Pred pred, Proj proj = {}); // since C++20 4030e3dc1a5SNikolas Klauser 4040e3dc1a5SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 4050e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 4060e3dc1a5SNikolas Klauser constexpr bool ranges::any_of(I first, S last, Pred pred, Proj proj = {}); // since C++20 4070e3dc1a5SNikolas Klauser 4080e3dc1a5SNikolas Klauser template<input_range R, class Proj = identity, 4090e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 4100e3dc1a5SNikolas Klauser constexpr bool ranges::any_of(R&& r, Pred pred, Proj proj = {}); // since C++20 4110e3dc1a5SNikolas Klauser 4120e3dc1a5SNikolas Klauser template<input_iterator I, sentinel_for<I> S, class Proj = identity, 4130e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 4140e3dc1a5SNikolas Klauser constexpr bool ranges::none_of(I first, S last, Pred pred, Proj proj = {}); // since C++20 4150e3dc1a5SNikolas Klauser 4160e3dc1a5SNikolas Klauser template<input_range R, class Proj = identity, 4170e3dc1a5SNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 4180e3dc1a5SNikolas Klauser constexpr bool ranges::none_of(R&& r, Pred pred, Proj proj = {}); // since C++20 4190e3dc1a5SNikolas Klauser 42011e3ad29SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 42111e3ad29SNikolas Klauser indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less> 42211e3ad29SNikolas Klauser constexpr bool ranges::is_sorted(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 42311e3ad29SNikolas Klauser 42411e3ad29SNikolas Klauser template<forward_range R, class Proj = identity, 42511e3ad29SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 42611e3ad29SNikolas Klauser constexpr bool ranges::is_sorted(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 42711e3ad29SNikolas Klauser 42811e3ad29SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 42911e3ad29SNikolas Klauser indirect_strict_weak_order<projected<I, Proj>> Comp = ranges::less> 43011e3ad29SNikolas Klauser constexpr I ranges::is_sorted_until(I first, S last, Comp comp = {}, Proj proj = {}); // since C++20 43111e3ad29SNikolas Klauser 43211e3ad29SNikolas Klauser template<forward_range R, class Proj = identity, 43311e3ad29SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R>, Proj>> Comp = ranges::less> 43411e3ad29SNikolas Klauser constexpr borrowed_iterator_t<R> 43511e3ad29SNikolas Klauser ranges::is_sorted_until(R&& r, Comp comp = {}, Proj proj = {}); // since C++20 43681715861SNikolas Klauser 43723c7328bSKonstantin Varlamov template<random_access_iterator I, sentinel_for<I> S, class Comp = ranges::less, 43823c7328bSKonstantin Varlamov class Proj = identity> 43923c7328bSKonstantin Varlamov requires sortable<I, Comp, Proj> 44023c7328bSKonstantin Varlamov constexpr I 44123c7328bSKonstantin Varlamov ranges::nth_element(I first, I nth, S last, Comp comp = {}, Proj proj = {}); // since C++20 44223c7328bSKonstantin Varlamov 44323c7328bSKonstantin Varlamov template<random_access_range R, class Comp = ranges::less, class Proj = identity> 44423c7328bSKonstantin Varlamov requires sortable<iterator_t<R>, Comp, Proj> 44523c7328bSKonstantin Varlamov constexpr borrowed_iterator_t<R> 44623c7328bSKonstantin Varlamov ranges::nth_element(R&& r, iterator_t<R> nth, Comp comp = {}, Proj proj = {}); // since C++20 44723c7328bSKonstantin Varlamov 44881715861SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity, 44981715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less> 45081715861SNikolas Klauser constexpr I upper_bound(I first, S last, const T& value, Comp comp = {}, Proj proj = {}); // since C++20 45181715861SNikolas Klauser 45281715861SNikolas Klauser template<forward_range R, class T, class Proj = identity, 45381715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = 45481715861SNikolas Klauser ranges::less> 45581715861SNikolas Klauser constexpr borrowed_iterator_t<R> 45681715861SNikolas Klauser upper_bound(R&& r, const T& value, Comp comp = {}, Proj proj = {}); // since C++20 45781715861SNikolas Klauser 45881715861SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity, 45981715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less> 46081715861SNikolas Klauser constexpr I lower_bound(I first, S last, const T& value, Comp comp = {}, 46181715861SNikolas Klauser Proj proj = {}); // since C++20 46281715861SNikolas Klauser template<forward_range R, class T, class Proj = identity, 46381715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = 46481715861SNikolas Klauser ranges::less> 46581715861SNikolas Klauser constexpr borrowed_iterator_t<R> 46681715861SNikolas Klauser lower_bound(R&& r, const T& value, Comp comp = {}, Proj proj = {}); // since C++20 46781715861SNikolas Klauser 46881715861SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity, 46981715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less> 47081715861SNikolas Klauser constexpr bool binary_search(I first, S last, const T& value, Comp comp = {}, 47181715861SNikolas Klauser Proj proj = {}); // since C++20 472b79b2b67SNikolas Klauser 47381715861SNikolas Klauser template<forward_range R, class T, class Proj = identity, 47481715861SNikolas Klauser indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = 47581715861SNikolas Klauser ranges::less> 47681715861SNikolas Klauser constexpr bool binary_search(R&& r, const T& value, Comp comp = {}, 47781715861SNikolas Klauser Proj proj = {}); // since C++20 4788ed702b8SKonstantin Varlamov 4798ed702b8SKonstantin Varlamov template<permutable I, sentinel_for<I> S, class Proj = identity, 4808ed702b8SKonstantin Varlamov indirect_unary_predicate<projected<I, Proj>> Pred> 4818ed702b8SKonstantin Varlamov constexpr subrange<I> 4828ed702b8SKonstantin Varlamov partition(I first, S last, Pred pred, Proj proj = {}); // Since C++20 4838ed702b8SKonstantin Varlamov 4848ed702b8SKonstantin Varlamov template<forward_range R, class Proj = identity, 4858ed702b8SKonstantin Varlamov indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 4868ed702b8SKonstantin Varlamov requires permutable<iterator_t<R>> 4878ed702b8SKonstantin Varlamov constexpr borrowed_subrange_t<R> 4888ed702b8SKonstantin Varlamov partition(R&& r, Pred pred, Proj proj = {}); // Since C++20 4898ed702b8SKonstantin Varlamov 4908ed702b8SKonstantin Varlamov template<bidirectional_iterator I, sentinel_for<I> S, class Proj = identity, 4918ed702b8SKonstantin Varlamov indirect_unary_predicate<projected<I, Proj>> Pred> 4928ed702b8SKonstantin Varlamov requires permutable<I> 4938ed702b8SKonstantin Varlamov subrange<I> stable_partition(I first, S last, Pred pred, Proj proj = {}); // Since C++20 4948ed702b8SKonstantin Varlamov 4958ed702b8SKonstantin Varlamov template<bidirectional_range R, class Proj = identity, 4968ed702b8SKonstantin Varlamov indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 4978ed702b8SKonstantin Varlamov requires permutable<iterator_t<R>> 4988ed702b8SKonstantin Varlamov borrowed_subrange_t<R> stable_partition(R&& r, Pred pred, Proj proj = {}); // Since C++20 4998ed702b8SKonstantin Varlamov 500b79b2b67SNikolas Klauser template<input_iterator I1, sentinel_for<I1> S1, forward_iterator I2, sentinel_for<I2> S2, 501b79b2b67SNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 502b79b2b67SNikolas Klauser requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2> 503b79b2b67SNikolas Klauser constexpr I1 ranges::find_first_of(I1 first1, S1 last1, I2 first2, S2 last2, 504b79b2b67SNikolas Klauser Pred pred = {}, 505b79b2b67SNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 506b79b2b67SNikolas Klauser 507b79b2b67SNikolas Klauser template<input_range R1, forward_range R2, 508b79b2b67SNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 509b79b2b67SNikolas Klauser requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2> 510b79b2b67SNikolas Klauser constexpr borrowed_iterator_t<R1> 511b79b2b67SNikolas Klauser ranges::find_first_of(R1&& r1, R2&& r2, 512b79b2b67SNikolas Klauser Pred pred = {}, 513b79b2b67SNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 51481715861SNikolas Klauser 515916e9052SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 516916e9052SNikolas Klauser indirect_binary_predicate<projected<I, Proj>, 517916e9052SNikolas Klauser projected<I, Proj>> Pred = ranges::equal_to> 518916e9052SNikolas Klauser constexpr I ranges::adjacent_find(I first, S last, Pred pred = {}, Proj proj = {}); // since C+20 519916e9052SNikolas Klauser 520916e9052SNikolas Klauser template<forward_range R, class Proj = identity, 521916e9052SNikolas Klauser indirect_binary_predicate<projected<iterator_t<R>, Proj>, 522916e9052SNikolas Klauser projected<iterator_t<R>, Proj>> Pred = ranges::equal_to> 523916e9052SNikolas Klauser constexpr borrowed_iterator_t<R> ranges::adjacent_find(R&& r, Pred pred = {}, Proj proj = {}); // since C++20 524916e9052SNikolas Klauser 525ff6d5deeSNikolas Klauser template<input_iterator I, sentinel_for<I> S, class T1, class T2, class Proj = identity> 526ff6d5deeSNikolas Klauser requires indirectly_writable<I, const T2&> && 527ff6d5deeSNikolas Klauser indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T1*> 528ff6d5deeSNikolas Klauser constexpr I 529ff6d5deeSNikolas Klauser ranges::replace(I first, S last, const T1& old_value, const T2& new_value, Proj proj = {}); // since C++20 530ff6d5deeSNikolas Klauser 531ff6d5deeSNikolas Klauser template<input_range R, class T1, class T2, class Proj = identity> 532ff6d5deeSNikolas Klauser requires indirectly_writable<iterator_t<R>, const T2&> && 533ff6d5deeSNikolas Klauser indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T1*> 534ff6d5deeSNikolas Klauser constexpr borrowed_iterator_t<R> 535ff6d5deeSNikolas Klauser ranges::replace(R&& r, const T1& old_value, const T2& new_value, Proj proj = {}); // since C++20 536ff6d5deeSNikolas Klauser 537ff6d5deeSNikolas Klauser template<input_iterator I, sentinel_for<I> S, class T, class Proj = identity, 538ff6d5deeSNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 539ff6d5deeSNikolas Klauser requires indirectly_writable<I, const T&> 540ff6d5deeSNikolas Klauser constexpr I ranges::replace_if(I first, S last, Pred pred, const T& new_value, Proj proj = {}); // since C++20 541ff6d5deeSNikolas Klauser 542ff6d5deeSNikolas Klauser template<input_range R, class T, class Proj = identity, 543ff6d5deeSNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 544ff6d5deeSNikolas Klauser requires indirectly_writable<iterator_t<R>, const T&> 545ff6d5deeSNikolas Klauser constexpr borrowed_iterator_t<R> 546ff6d5deeSNikolas Klauser ranges::replace_if(R&& r, Pred pred, const T& new_value, Proj proj = {}); // since C++20 547ff6d5deeSNikolas Klauser 548afd5a4f2SNikolas Klauser template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 549afd5a4f2SNikolas Klauser class Proj1 = identity, class Proj2 = identity, 550afd5a4f2SNikolas Klauser indirect_strict_weak_order<projected<I1, Proj1>, 551afd5a4f2SNikolas Klauser projected<I2, Proj2>> Comp = ranges::less> 552afd5a4f2SNikolas Klauser constexpr bool 553afd5a4f2SNikolas Klauser ranges::lexicographical_compare(I1 first1, S1 last1, I2 first2, S2 last2, 554afd5a4f2SNikolas Klauser Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 555afd5a4f2SNikolas Klauser 556afd5a4f2SNikolas Klauser template<input_range R1, input_range R2, class Proj1 = identity, 557afd5a4f2SNikolas Klauser class Proj2 = identity, 558afd5a4f2SNikolas Klauser indirect_strict_weak_order<projected<iterator_t<R1>, Proj1>, 559afd5a4f2SNikolas Klauser projected<iterator_t<R2>, Proj2>> Comp = ranges::less> 560afd5a4f2SNikolas Klauser constexpr bool 561afd5a4f2SNikolas Klauser ranges::lexicographical_compare(R1&& r1, R2&& r2, Comp comp = {}, 562afd5a4f2SNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 563afd5a4f2SNikolas Klauser 5642c3bbac0SNikolas Klauser template<bidirectional_iterator I1, sentinel_for<I1> S1, bidirectional_iterator I2> 5652c3bbac0SNikolas Klauser requires indirectly_movable<I1, I2> 5662c3bbac0SNikolas Klauser constexpr ranges::move_backward_result<I1, I2> 5672c3bbac0SNikolas Klauser ranges::move_backward(I1 first, S1 last, I2 result); // since C++20 5682c3bbac0SNikolas Klauser 5692c3bbac0SNikolas Klauser template<bidirectional_range R, bidirectional_iterator I> 5702c3bbac0SNikolas Klauser requires indirectly_movable<iterator_t<R>, I> 5712c3bbac0SNikolas Klauser constexpr ranges::move_backward_result<borrowed_iterator_t<R>, I> 5722c3bbac0SNikolas Klauser ranges::move_backward(R&& r, I result); // since C++20 5732c3bbac0SNikolas Klauser 5742c3bbac0SNikolas Klauser template<input_iterator I, sentinel_for<I> S, weakly_incrementable O> 5752c3bbac0SNikolas Klauser requires indirectly_movable<I, O> 5762c3bbac0SNikolas Klauser constexpr ranges::move_result<I, O> 5772c3bbac0SNikolas Klauser ranges::move(I first, S last, O result); // since C++20 5782c3bbac0SNikolas Klauser 5792c3bbac0SNikolas Klauser template<input_range R, weakly_incrementable O> 5802c3bbac0SNikolas Klauser requires indirectly_movable<iterator_t<R>, O> 5812c3bbac0SNikolas Klauser constexpr ranges::move_result<borrowed_iterator_t<R>, O> 5822c3bbac0SNikolas Klauser ranges::move(R&& r, O result); // since C++20 5832c3bbac0SNikolas Klauser 584065202f3SKonstantin Varlamov template<class I, class O1, class O2> 585065202f3SKonstantin Varlamov using partition_copy_result = in_out_out_result<I, O1, O2>; // since C++20 586065202f3SKonstantin Varlamov 587065202f3SKonstantin Varlamov template<input_iterator I, sentinel_for<I> S, 588065202f3SKonstantin Varlamov weakly_incrementable O1, weakly_incrementable O2, 589065202f3SKonstantin Varlamov class Proj = identity, indirect_unary_predicate<projected<I, Proj>> Pred> 590065202f3SKonstantin Varlamov requires indirectly_copyable<I, O1> && indirectly_copyable<I, O2> 591065202f3SKonstantin Varlamov constexpr partition_copy_result<I, O1, O2> 592065202f3SKonstantin Varlamov partition_copy(I first, S last, O1 out_true, O2 out_false, Pred pred, 593065202f3SKonstantin Varlamov Proj proj = {}); // Since C++20 594065202f3SKonstantin Varlamov 595065202f3SKonstantin Varlamov template<input_range R, weakly_incrementable O1, weakly_incrementable O2, 596065202f3SKonstantin Varlamov class Proj = identity, 597065202f3SKonstantin Varlamov indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 598065202f3SKonstantin Varlamov requires indirectly_copyable<iterator_t<R>, O1> && 599065202f3SKonstantin Varlamov indirectly_copyable<iterator_t<R>, O2> 600065202f3SKonstantin Varlamov constexpr partition_copy_result<borrowed_iterator_t<R>, O1, O2> 601065202f3SKonstantin Varlamov partition_copy(R&& r, O1 out_true, O2 out_false, Pred pred, Proj proj = {}); // Since C++20 602065202f3SKonstantin Varlamov 603065202f3SKonstantin Varlamov template<forward_iterator I, sentinel_for<I> S, class Proj = identity, 604065202f3SKonstantin Varlamov indirect_unary_predicate<projected<I, Proj>> Pred> 605065202f3SKonstantin Varlamov constexpr I partition_point(I first, S last, Pred pred, Proj proj = {}); // Since C++20 606065202f3SKonstantin Varlamov 607065202f3SKonstantin Varlamov template<forward_range R, class Proj = identity, 608065202f3SKonstantin Varlamov indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 609065202f3SKonstantin Varlamov constexpr borrowed_iterator_t<R> 610065202f3SKonstantin Varlamov partition_point(R&& r, Pred pred, Proj proj = {}); // Since C++20 611065202f3SKonstantin Varlamov 61225607d14SHui Xie template<class I1, class I2, class O> 61325607d14SHui Xie using merge_result = in_in_out_result<I1, I2, O>; // since C++20 61425607d14SHui Xie 61525607d14SHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 61625607d14SHui Xie weakly_incrementable O, class Comp = ranges::less, class Proj1 = identity, 61725607d14SHui Xie class Proj2 = identity> 61825607d14SHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 61925607d14SHui Xie constexpr merge_result<I1, I2, O> 62025607d14SHui Xie merge(I1 first1, S1 last1, I2 first2, S2 last2, O result, 62125607d14SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 62225607d14SHui Xie 62325607d14SHui Xie template<input_range R1, input_range R2, weakly_incrementable O, class Comp = ranges::less, 62425607d14SHui Xie class Proj1 = identity, class Proj2 = identity> 62525607d14SHui Xie requires mergeable<iterator_t<R1>, iterator_t<R2>, O, Comp, Proj1, Proj2> 62625607d14SHui Xie constexpr merge_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, O> 62725607d14SHui Xie merge(R1&& r1, R2&& r2, O result, 62825607d14SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 6292c3bbac0SNikolas Klauser 630f8cbe3cdSNikolas Klauser template<permutable I, sentinel_for<I> S, class T, class Proj = identity> 631f8cbe3cdSNikolas Klauser requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*> 632f8cbe3cdSNikolas Klauser constexpr subrange<I> ranges::remove(I first, S last, const T& value, Proj proj = {}); // since C++20 633f8cbe3cdSNikolas Klauser 634f8cbe3cdSNikolas Klauser template<forward_range R, class T, class Proj = identity> 635f8cbe3cdSNikolas Klauser requires permutable<iterator_t<R>> && 636f8cbe3cdSNikolas Klauser indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*> 637f8cbe3cdSNikolas Klauser constexpr borrowed_subrange_t<R> 638f8cbe3cdSNikolas Klauser ranges::remove(R&& r, const T& value, Proj proj = {}); // since C++20 639f8cbe3cdSNikolas Klauser 640f8cbe3cdSNikolas Klauser template<permutable I, sentinel_for<I> S, class Proj = identity, 641f8cbe3cdSNikolas Klauser indirect_unary_predicate<projected<I, Proj>> Pred> 642f8cbe3cdSNikolas Klauser constexpr subrange<I> ranges::remove_if(I first, S last, Pred pred, Proj proj = {}); // since C++20 643f8cbe3cdSNikolas Klauser 644f8cbe3cdSNikolas Klauser template<forward_range R, class Proj = identity, 645f8cbe3cdSNikolas Klauser indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred> 646f8cbe3cdSNikolas Klauser requires permutable<iterator_t<R>> 647f8cbe3cdSNikolas Klauser constexpr borrowed_subrange_t<R> 648f8cbe3cdSNikolas Klauser ranges::remove_if(R&& r, Pred pred, Proj proj = {}); // since C++20 649f8cbe3cdSNikolas Klauser 6501cdec6c9SHui Xie template<class I, class O> 6511cdec6c9SHui Xie using set_difference_result = in_out_result<I, O>; // since C++20 6521cdec6c9SHui Xie 6531cdec6c9SHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 6541cdec6c9SHui Xie weakly_incrementable O, class Comp = ranges::less, 6551cdec6c9SHui Xie class Proj1 = identity, class Proj2 = identity> 6561cdec6c9SHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 6571cdec6c9SHui Xie constexpr set_difference_result<I1, O> 6581cdec6c9SHui Xie set_difference(I1 first1, S1 last1, I2 first2, S2 last2, O result, 6591cdec6c9SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 6601cdec6c9SHui Xie 6611cdec6c9SHui Xie template<input_range R1, input_range R2, weakly_incrementable O, 6621cdec6c9SHui Xie class Comp = ranges::less, class Proj1 = identity, class Proj2 = identity> 6631cdec6c9SHui Xie requires mergeable<iterator_t<R1>, iterator_t<R2>, O, Comp, Proj1, Proj2> 6641cdec6c9SHui Xie constexpr set_difference_result<borrowed_iterator_t<R1>, O> 6651cdec6c9SHui Xie set_difference(R1&& r1, R2&& r2, O result, 6661cdec6c9SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 6671cdec6c9SHui Xie 66896b674f2SHui Xie template<class I1, class I2, class O> 66996b674f2SHui Xie using set_intersection_result = in_in_out_result<I1, I2, O>; // since C++20 67096b674f2SHui Xie 67196b674f2SHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 67296b674f2SHui Xie weakly_incrementable O, class Comp = ranges::less, 67396b674f2SHui Xie class Proj1 = identity, class Proj2 = identity> 67496b674f2SHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 67596b674f2SHui Xie constexpr set_intersection_result<I1, I2, O> 67696b674f2SHui Xie set_intersection(I1 first1, S1 last1, I2 first2, S2 last2, O result, 67796b674f2SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 67896b674f2SHui Xie 67996b674f2SHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 68096b674f2SHui Xie weakly_incrementable O, class Comp = ranges::less, 68196b674f2SHui Xie class Proj1 = identity, class Proj2 = identity> 68296b674f2SHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 68396b674f2SHui Xie constexpr set_intersection_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, O> 68496b674f2SHui Xie set_intersection(R1&& r1, R2&& r2, O result, 68596b674f2SHui Xie Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 68696b674f2SHui Xie 6877d426a39SNikolas Klauser template <class _InIter, class _OutIter> 6887d426a39SNikolas Klauser using reverse_copy_result = in_out_result<_InIter, _OutIter>; // since C++20 6897d426a39SNikolas Klauser 6907d426a39SNikolas Klauser template<bidirectional_iterator I, sentinel_for<I> S, weakly_incrementable O> 6917d426a39SNikolas Klauser requires indirectly_copyable<I, O> 6927d426a39SNikolas Klauser constexpr ranges::reverse_copy_result<I, O> 6937d426a39SNikolas Klauser ranges::reverse_copy(I first, S last, O result); // since C++20 6947d426a39SNikolas Klauser 6957d426a39SNikolas Klauser template<bidirectional_range R, weakly_incrementable O> 6967d426a39SNikolas Klauser requires indirectly_copyable<iterator_t<R>, O> 6977d426a39SNikolas Klauser constexpr ranges::reverse_copy_result<borrowed_iterator_t<R>, O> 6987d426a39SNikolas Klauser ranges::reverse_copy(R&& r, O result); // since C++20 6997d426a39SNikolas Klauser 7007d426a39SNikolas Klauser template <class _InIter, class _OutIter> 7017d426a39SNikolas Klauser using rotate_copy_result = in_out_result<_InIter, _OutIter>; // since C++20 7027d426a39SNikolas Klauser 7037d426a39SNikolas Klauser template<forward_iterator I, sentinel_for<I> S, weakly_incrementable O> 7047d426a39SNikolas Klauser requires indirectly_copyable<I, O> 7057d426a39SNikolas Klauser constexpr ranges::rotate_copy_result<I, O> 7067d426a39SNikolas Klauser ranges::rotate_copy(I first, I middle, S last, O result); // since C++20 7077d426a39SNikolas Klauser 7087d426a39SNikolas Klauser template<forward_range R, weakly_incrementable O> 7097d426a39SNikolas Klauser requires indirectly_copyable<iterator_t<R>, O> 7107d426a39SNikolas Klauser constexpr ranges::rotate_copy_result<borrowed_iterator_t<R>, O> 7117d426a39SNikolas Klauser ranges::rotate_copy(R&& r, iterator_t<R> middle, O result); // since C++20 7127d426a39SNikolas Klauser 713101d1e9bSNikolas Klauser template<forward_iterator I1, sentinel_for<I1> S1, forward_iterator I2, 714101d1e9bSNikolas Klauser sentinel_for<I2> S2, class Pred = ranges::equal_to, 715101d1e9bSNikolas Klauser class Proj1 = identity, class Proj2 = identity> 716101d1e9bSNikolas Klauser requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2> 717101d1e9bSNikolas Klauser constexpr subrange<I1> 718101d1e9bSNikolas Klauser ranges::search(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, 719101d1e9bSNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 720101d1e9bSNikolas Klauser 721101d1e9bSNikolas Klauser template<forward_range R1, forward_range R2, class Pred = ranges::equal_to, 722101d1e9bSNikolas Klauser class Proj1 = identity, class Proj2 = identity> 723101d1e9bSNikolas Klauser requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2> 724101d1e9bSNikolas Klauser constexpr borrowed_subrange_t<R1> 725101d1e9bSNikolas Klauser ranges::search(R1&& r1, R2&& r2, Pred pred = {}, 726101d1e9bSNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 727101d1e9bSNikolas Klauser 728101d1e9bSNikolas Klauser template<forward_iterator I, sentinel_for<I> S, class T, 729101d1e9bSNikolas Klauser class Pred = ranges::equal_to, class Proj = identity> 730101d1e9bSNikolas Klauser requires indirectly_comparable<I, const T*, Pred, Proj> 731101d1e9bSNikolas Klauser constexpr subrange<I> 732101d1e9bSNikolas Klauser ranges::search_n(I first, S last, iter_difference_t<I> count, 733101d1e9bSNikolas Klauser const T& value, Pred pred = {}, Proj proj = {}); // since C++20 734101d1e9bSNikolas Klauser 735101d1e9bSNikolas Klauser template<forward_range R, class T, class Pred = ranges::equal_to, 736101d1e9bSNikolas Klauser class Proj = identity> 737101d1e9bSNikolas Klauser requires indirectly_comparable<iterator_t<R>, const T*, Pred, Proj> 738101d1e9bSNikolas Klauser constexpr borrowed_subrange_t<R> 739101d1e9bSNikolas Klauser ranges::search_n(R&& r, range_difference_t<R> count, 740101d1e9bSNikolas Klauser const T& value, Pred pred = {}, Proj proj = {}); // since C++20 741101d1e9bSNikolas Klauser 742101d1e9bSNikolas Klauser template<forward_iterator I1, sentinel_for<I1> S1, forward_iterator I2, sentinel_for<I2> S2, 743101d1e9bSNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 744101d1e9bSNikolas Klauser requires indirectly_comparable<I1, I2, Pred, Proj1, Proj2> 745101d1e9bSNikolas Klauser constexpr subrange<I1> 746101d1e9bSNikolas Klauser ranges::find_end(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, 747101d1e9bSNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 748101d1e9bSNikolas Klauser 749101d1e9bSNikolas Klauser template<forward_range R1, forward_range R2, 750101d1e9bSNikolas Klauser class Pred = ranges::equal_to, class Proj1 = identity, class Proj2 = identity> 751101d1e9bSNikolas Klauser requires indirectly_comparable<iterator_t<R1>, iterator_t<R2>, Pred, Proj1, Proj2> 752101d1e9bSNikolas Klauser constexpr borrowed_subrange_t<R1> 753101d1e9bSNikolas Klauser ranges::find_end(R1&& r1, R2&& r2, Pred pred = {}, 754101d1e9bSNikolas Klauser Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 755101d1e9bSNikolas Klauser 756a5c0638dSHui Xie template<class I1, class I2, class O> 757a5c0638dSHui Xie using set_symmetric_difference_result = in_in_out_result<I1, I2, O>; // since C++20 758a5c0638dSHui Xie 759a5c0638dSHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 760a5c0638dSHui Xie weakly_incrementable O, class Comp = ranges::less, 761a5c0638dSHui Xie class Proj1 = identity, class Proj2 = identity> 762a5c0638dSHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 763a5c0638dSHui Xie constexpr set_symmetric_difference_result<I1, I2, O> 764a5c0638dSHui Xie set_symmetric_difference(I1 first1, S1 last1, I2 first2, S2 last2, O result, 765a5c0638dSHui Xie Comp comp = {}, Proj1 proj1 = {}, 766a5c0638dSHui Xie Proj2 proj2 = {}); // since C++20 767a5c0638dSHui Xie 768a5c0638dSHui Xie template<input_range R1, input_range R2, weakly_incrementable O, 769a5c0638dSHui Xie class Comp = ranges::less, class Proj1 = identity, class Proj2 = identity> 770a5c0638dSHui Xie requires mergeable<iterator_t<R1>, iterator_t<R2>, O, Comp, Proj1, Proj2> 771a5c0638dSHui Xie constexpr set_symmetric_difference_result<borrowed_iterator_t<R1>, 772a5c0638dSHui Xie borrowed_iterator_t<R2>, O> 773a5c0638dSHui Xie set_symmetric_difference(R1&& r1, R2&& r2, O result, Comp comp = {}, 774a5c0638dSHui Xie Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 775a5c0638dSHui Xie 7760f6364b8SHui Xie template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity, 7770f6364b8SHui Xie indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less> 7780f6364b8SHui Xie constexpr subrange<I> 7790f6364b8SHui Xie equal_range(I first, S last, const T& value, Comp comp = {}, Proj proj = {}); // since C++20 7800f6364b8SHui Xie 7810f6364b8SHui Xie template<forward_range R, class T, class Proj = identity, 7820f6364b8SHui Xie indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = 7830f6364b8SHui Xie ranges::less> 7840f6364b8SHui Xie constexpr borrowed_subrange_t<R> 7850f6364b8SHui Xie equal_range(R&& r, const T& value, Comp comp = {}, Proj proj = {}); // since C++20 7860f6364b8SHui Xie 7873151b95dSHui Xie template<class I1, class I2, class O> 7883151b95dSHui Xie using set_union_result = in_in_out_result<I1, I2, O>; // since C++20 7893151b95dSHui Xie 7903151b95dSHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 7913151b95dSHui Xie weakly_incrementable O, class Comp = ranges::less, 7923151b95dSHui Xie class Proj1 = identity, class Proj2 = identity> 7933151b95dSHui Xie requires mergeable<I1, I2, O, Comp, Proj1, Proj2> 7943151b95dSHui Xie constexpr set_union_result<I1, I2, O> 7953151b95dSHui Xie set_union(I1 first1, S1 last1, I2 first2, S2 last2, O result, Comp comp = {}, 7963151b95dSHui Xie Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 7973151b95dSHui Xie 7983151b95dSHui Xie template<input_range R1, input_range R2, weakly_incrementable O, 7993151b95dSHui Xie class Comp = ranges::less, class Proj1 = identity, class Proj2 = identity> 8003151b95dSHui Xie requires mergeable<iterator_t<R1>, iterator_t<R2>, O, Comp, Proj1, Proj2> 8013151b95dSHui Xie constexpr set_union_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, O> 8023151b95dSHui Xie set_union(R1&& r1, R2&& r2, O result, Comp comp = {}, 8033151b95dSHui Xie Proj1 proj1 = {}, Proj2 proj2 = {}); // since C++20 804*c559964dSHui Xie 805*c559964dSHui Xie template<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2, 806*c559964dSHui Xie class Proj1 = identity, class Proj2 = identity, 807*c559964dSHui Xie indirect_strict_weak_order<projected<I1, Proj1>, projected<I2, Proj2>> Comp = 808*c559964dSHui Xie ranges::less> 809*c559964dSHui Xie constexpr bool includes(I1 first1, S1 last1, I2 first2, S2 last2, Comp comp = {}, 810*c559964dSHui Xie Proj1 proj1 = {}, Proj2 proj2 = {}); // Since C++20 811*c559964dSHui Xie 812*c559964dSHui Xie template<input_range R1, input_range R2, class Proj1 = identity, 813*c559964dSHui Xie class Proj2 = identity, 814*c559964dSHui Xie indirect_strict_weak_order<projected<iterator_t<R1>, Proj1>, 815*c559964dSHui Xie projected<iterator_t<R2>, Proj2>> Comp = ranges::less> 816*c559964dSHui Xie constexpr bool includes(R1&& r1, R2&& r2, Comp comp = {}, 817*c559964dSHui Xie Proj1 proj1 = {}, Proj2 proj2 = {}); // Since C++20 818d3729bb3SNikolas Klauser} 819d3729bb3SNikolas Klauser 820706ffef7SMarshall Clow constexpr bool // constexpr in C++20 8213e519524SHoward Hinnant all_of(InputIterator first, InputIterator last, Predicate pred); 8223e519524SHoward Hinnant 8233e519524SHoward Hinnanttemplate <class InputIterator, class Predicate> 824706ffef7SMarshall Clow constexpr bool // constexpr in C++20 8253e519524SHoward Hinnant any_of(InputIterator first, InputIterator last, Predicate pred); 8263e519524SHoward Hinnant 8273e519524SHoward Hinnanttemplate <class InputIterator, class Predicate> 828706ffef7SMarshall Clow constexpr bool // constexpr in C++20 8293e519524SHoward Hinnant none_of(InputIterator first, InputIterator last, Predicate pred); 8303e519524SHoward Hinnant 8313e519524SHoward Hinnanttemplate <class InputIterator, class Function> 8321b9a4ffdSMarshall Clow constexpr Function // constexpr in C++20 8333e519524SHoward Hinnant for_each(InputIterator first, InputIterator last, Function f); 8343e519524SHoward Hinnant 835d5c65ffaSMarshall Clowtemplate<class InputIterator, class Size, class Function> 8361b9a4ffdSMarshall Clow constexpr InputIterator // constexpr in C++20 8371b9a4ffdSMarshall Clow for_each_n(InputIterator first, Size n, Function f); // C++17 838d5c65ffaSMarshall Clow 8393e519524SHoward Hinnanttemplate <class InputIterator, class T> 84049c7643cSMarshall Clow constexpr InputIterator // constexpr in C++20 8413e519524SHoward Hinnant find(InputIterator first, InputIterator last, const T& value); 8423e519524SHoward Hinnant 8433e519524SHoward Hinnanttemplate <class InputIterator, class Predicate> 84449c7643cSMarshall Clow constexpr InputIterator // constexpr in C++20 8453e519524SHoward Hinnant find_if(InputIterator first, InputIterator last, Predicate pred); 8463e519524SHoward Hinnant 8473e519524SHoward Hinnanttemplate<class InputIterator, class Predicate> 848b8bc4e15SArthur O'Dwyer constexpr InputIterator // constexpr in C++20 8493e519524SHoward Hinnant find_if_not(InputIterator first, InputIterator last, Predicate pred); 8503e519524SHoward Hinnant 8513e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2> 852b8bc4e15SArthur O'Dwyer constexpr ForwardIterator1 // constexpr in C++20 8533e519524SHoward Hinnant find_end(ForwardIterator1 first1, ForwardIterator1 last1, 8543e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2); 8553e519524SHoward Hinnant 8563e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate> 857b8bc4e15SArthur O'Dwyer constexpr ForwardIterator1 // constexpr in C++20 8583e519524SHoward Hinnant find_end(ForwardIterator1 first1, ForwardIterator1 last1, 8593e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred); 8603e519524SHoward Hinnant 8613e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2> 8628694428eSMarshall Clow constexpr ForwardIterator1 // constexpr in C++20 8633e519524SHoward Hinnant find_first_of(ForwardIterator1 first1, ForwardIterator1 last1, 8643e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2); 8653e519524SHoward Hinnant 8663e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate> 8678694428eSMarshall Clow constexpr ForwardIterator1 // constexpr in C++20 8683e519524SHoward Hinnant find_first_of(ForwardIterator1 first1, ForwardIterator1 last1, 8693e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred); 8703e519524SHoward Hinnant 8713e519524SHoward Hinnanttemplate <class ForwardIterator> 8728694428eSMarshall Clow constexpr ForwardIterator // constexpr in C++20 8733e519524SHoward Hinnant adjacent_find(ForwardIterator first, ForwardIterator last); 8743e519524SHoward Hinnant 8753e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate> 8768694428eSMarshall Clow constexpr ForwardIterator // constexpr in C++20 8773e519524SHoward Hinnant adjacent_find(ForwardIterator first, ForwardIterator last, BinaryPredicate pred); 8783e519524SHoward Hinnant 8793e519524SHoward Hinnanttemplate <class InputIterator, class T> 880056f15e3SMarshall Clow constexpr typename iterator_traits<InputIterator>::difference_type // constexpr in C++20 8813e519524SHoward Hinnant count(InputIterator first, InputIterator last, const T& value); 8823e519524SHoward Hinnant 8833e519524SHoward Hinnanttemplate <class InputIterator, class Predicate> 884056f15e3SMarshall Clow constexpr typename iterator_traits<InputIterator>::difference_type // constexpr in C++20 8853e519524SHoward Hinnant count_if(InputIterator first, InputIterator last, Predicate pred); 8863e519524SHoward Hinnant 8873e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2> 8886538e28dSMarshall Clow constexpr pair<InputIterator1, InputIterator2> // constexpr in C++20 8893e519524SHoward Hinnant mismatch(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2); 8903e519524SHoward Hinnant 8910b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2> 8926538e28dSMarshall Clow constexpr pair<InputIterator1, InputIterator2> // constexpr in C++20 8930b0bbd2fSMarshall Clow mismatch(InputIterator1 first1, InputIterator1 last1, 8940b0bbd2fSMarshall Clow InputIterator2 first2, InputIterator2 last2); // **C++14** 8950b0bbd2fSMarshall Clow 8963e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate> 8976538e28dSMarshall Clow constexpr pair<InputIterator1, InputIterator2> // constexpr in C++20 8983e519524SHoward Hinnant mismatch(InputIterator1 first1, InputIterator1 last1, 8993e519524SHoward Hinnant InputIterator2 first2, BinaryPredicate pred); 9003e519524SHoward Hinnant 9010b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate> 9026538e28dSMarshall Clow constexpr pair<InputIterator1, InputIterator2> // constexpr in C++20 9030b0bbd2fSMarshall Clow mismatch(InputIterator1 first1, InputIterator1 last1, 9040b0bbd2fSMarshall Clow InputIterator2 first2, InputIterator2 last2, 9050b0bbd2fSMarshall Clow BinaryPredicate pred); // **C++14** 9060b0bbd2fSMarshall Clow 9073e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2> 9086538e28dSMarshall Clow constexpr bool // constexpr in C++20 9093e519524SHoward Hinnant equal(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2); 9103e519524SHoward Hinnant 9110b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2> 9126538e28dSMarshall Clow constexpr bool // constexpr in C++20 9130b0bbd2fSMarshall Clow equal(InputIterator1 first1, InputIterator1 last1, 9140b0bbd2fSMarshall Clow InputIterator2 first2, InputIterator2 last2); // **C++14** 9150b0bbd2fSMarshall Clow 9163e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class BinaryPredicate> 9176538e28dSMarshall Clow constexpr bool // constexpr in C++20 9183e519524SHoward Hinnant equal(InputIterator1 first1, InputIterator1 last1, 9193e519524SHoward Hinnant InputIterator2 first2, BinaryPredicate pred); 9203e519524SHoward Hinnant 9210b0bbd2fSMarshall Clowtemplate <class InputIterator1, class InputIterator2, class BinaryPredicate> 9226538e28dSMarshall Clow constexpr bool // constexpr in C++20 9230b0bbd2fSMarshall Clow equal(InputIterator1 first1, InputIterator1 last1, 9240b0bbd2fSMarshall Clow InputIterator2 first2, InputIterator2 last2, 9250b0bbd2fSMarshall Clow BinaryPredicate pred); // **C++14** 9260b0bbd2fSMarshall Clow 9273e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2> 92849c7643cSMarshall Clow constexpr bool // constexpr in C++20 9293e519524SHoward Hinnant is_permutation(ForwardIterator1 first1, ForwardIterator1 last1, 9303e519524SHoward Hinnant ForwardIterator2 first2); 9313e519524SHoward Hinnant 9320b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2> 93349c7643cSMarshall Clow constexpr bool // constexpr in C++20 9340b0bbd2fSMarshall Clow is_permutation(ForwardIterator1 first1, ForwardIterator1 last1, 9350b0bbd2fSMarshall Clow ForwardIterator2 first2, ForwardIterator2 last2); // **C++14** 9360b0bbd2fSMarshall Clow 9373e519524SHoward Hinnanttemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate> 93849c7643cSMarshall Clow constexpr bool // constexpr in C++20 9393e519524SHoward Hinnant is_permutation(ForwardIterator1 first1, ForwardIterator1 last1, 9403e519524SHoward Hinnant ForwardIterator2 first2, BinaryPredicate pred); 9413e519524SHoward Hinnant 9420b0bbd2fSMarshall Clowtemplate<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate> 94349c7643cSMarshall Clow constexpr bool // constexpr in C++20 9440b0bbd2fSMarshall Clow is_permutation(ForwardIterator1 first1, ForwardIterator1 last1, 9450b0bbd2fSMarshall Clow ForwardIterator2 first2, ForwardIterator2 last2, 9460b0bbd2fSMarshall Clow BinaryPredicate pred); // **C++14** 9470b0bbd2fSMarshall Clow 9483e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2> 94912f0a779SMarshall Clow constexpr ForwardIterator1 // constexpr in C++20 9503e519524SHoward Hinnant search(ForwardIterator1 first1, ForwardIterator1 last1, 9513e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2); 9523e519524SHoward Hinnant 9533e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate> 95412f0a779SMarshall Clow constexpr ForwardIterator1 // constexpr in C++20 9553e519524SHoward Hinnant search(ForwardIterator1 first1, ForwardIterator1 last1, 9563e519524SHoward Hinnant ForwardIterator2 first2, ForwardIterator2 last2, BinaryPredicate pred); 9573e519524SHoward Hinnant 9583e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T> 95912f0a779SMarshall Clow constexpr ForwardIterator // constexpr in C++20 9603e519524SHoward Hinnant search_n(ForwardIterator first, ForwardIterator last, Size count, const T& value); 9613e519524SHoward Hinnant 9623e519524SHoward Hinnanttemplate <class ForwardIterator, class Size, class T, class BinaryPredicate> 96312f0a779SMarshall Clow constexpr ForwardIterator // constexpr in C++20 9643e519524SHoward Hinnant search_n(ForwardIterator first, ForwardIterator last, 9653e519524SHoward Hinnant Size count, const T& value, BinaryPredicate pred); 9663e519524SHoward Hinnant 9673e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator> 96813c90a57SLouis Dionne constexpr OutputIterator // constexpr in C++20 9693e519524SHoward Hinnant copy(InputIterator first, InputIterator last, OutputIterator result); 9703e519524SHoward Hinnant 9713e519524SHoward Hinnanttemplate<class InputIterator, class OutputIterator, class Predicate> 97213c90a57SLouis Dionne constexpr OutputIterator // constexpr in C++20 9733e519524SHoward Hinnant copy_if(InputIterator first, InputIterator last, 9743e519524SHoward Hinnant OutputIterator result, Predicate pred); 9753e519524SHoward Hinnant 9763e519524SHoward Hinnanttemplate<class InputIterator, class Size, class OutputIterator> 97713c90a57SLouis Dionne constexpr OutputIterator // constexpr in C++20 9783e519524SHoward Hinnant copy_n(InputIterator first, Size n, OutputIterator result); 9793e519524SHoward Hinnant 9803e519524SHoward Hinnanttemplate <class BidirectionalIterator1, class BidirectionalIterator2> 98113c90a57SLouis Dionne constexpr BidirectionalIterator2 // constexpr in C++20 9823e519524SHoward Hinnant copy_backward(BidirectionalIterator1 first, BidirectionalIterator1 last, 9833e519524SHoward Hinnant BidirectionalIterator2 result); 9843e519524SHoward Hinnant 98579a2b4baSKonstantin Varlamov// [alg.move], move 98679a2b4baSKonstantin Varlamovtemplate<class InputIterator, class OutputIterator> 98779a2b4baSKonstantin Varlamov constexpr OutputIterator move(InputIterator first, InputIterator last, 98879a2b4baSKonstantin Varlamov OutputIterator result); 98979a2b4baSKonstantin Varlamov 99079a2b4baSKonstantin Varlamovtemplate<class BidirectionalIterator1, class BidirectionalIterator2> 99179a2b4baSKonstantin Varlamov constexpr BidirectionalIterator2 99279a2b4baSKonstantin Varlamov move_backward(BidirectionalIterator1 first, BidirectionalIterator1 last, 99379a2b4baSKonstantin Varlamov BidirectionalIterator2 result); 99479a2b4baSKonstantin Varlamov 9953e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2> 996b8bc4e15SArthur O'Dwyer constexpr ForwardIterator2 // constexpr in C++20 9973e519524SHoward Hinnant swap_ranges(ForwardIterator1 first1, ForwardIterator1 last1, ForwardIterator2 first2); 9983e519524SHoward Hinnant 99979a2b4baSKonstantin Varlamovnamespace ranges { 100079a2b4baSKonstantin Varlamov template<class I1, class I2> 100179a2b4baSKonstantin Varlamov using swap_ranges_result = in_in_result<I1, I2>; 100279a2b4baSKonstantin Varlamov 10039d905319SNikolas Klausertemplate<input_iterator I1, sentinel_for<I1> S1, input_iterator I2, sentinel_for<I2> S2> 10049d905319SNikolas Klauser requires indirectly_swappable<I1, I2> 10059d905319SNikolas Klauser constexpr ranges::swap_ranges_result<I1, I2> 100679a2b4baSKonstantin Varlamov swap_ranges(I1 first1, S1 last1, I2 first2, S2 last2); 10079d905319SNikolas Klauser 10089d905319SNikolas Klausertemplate<input_range R1, input_range R2> 10099d905319SNikolas Klauser requires indirectly_swappable<iterator_t<R1>, iterator_t<R2>> 10109d905319SNikolas Klauser constexpr ranges::swap_ranges_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>> 101179a2b4baSKonstantin Varlamov swap_ranges(R1&& r1, R2&& r2); 101279a2b4baSKonstantin Varlamov} 10139d905319SNikolas Klauser 10143e519524SHoward Hinnanttemplate <class ForwardIterator1, class ForwardIterator2> 1015b8bc4e15SArthur O'Dwyer constexpr void // constexpr in C++20 10163e519524SHoward Hinnant iter_swap(ForwardIterator1 a, ForwardIterator2 b); 10173e519524SHoward Hinnant 10183e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class UnaryOperation> 101999894b61SMarshall Clow constexpr OutputIterator // constexpr in C++20 10203e519524SHoward Hinnant transform(InputIterator first, InputIterator last, OutputIterator result, UnaryOperation op); 10213e519524SHoward Hinnant 10223e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class BinaryOperation> 102399894b61SMarshall Clow constexpr OutputIterator // constexpr in C++20 10243e519524SHoward Hinnant transform(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, 10253e519524SHoward Hinnant OutputIterator result, BinaryOperation binary_op); 10263e519524SHoward Hinnant 10273e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 102812c7423fSMarshall Clow constexpr void // constexpr in C++20 10293e519524SHoward Hinnant replace(ForwardIterator first, ForwardIterator last, const T& old_value, const T& new_value); 10303e519524SHoward Hinnant 10313e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate, class T> 103212c7423fSMarshall Clow constexpr void // constexpr in C++20 10333e519524SHoward Hinnant replace_if(ForwardIterator first, ForwardIterator last, Predicate pred, const T& new_value); 10343e519524SHoward Hinnant 10353e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T> 103612c7423fSMarshall Clow constexpr OutputIterator // constexpr in C++20 10373e519524SHoward Hinnant replace_copy(InputIterator first, InputIterator last, OutputIterator result, 10383e519524SHoward Hinnant const T& old_value, const T& new_value); 10393e519524SHoward Hinnant 10403e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate, class T> 104112c7423fSMarshall Clow constexpr OutputIterator // constexpr in C++20 10423e519524SHoward Hinnant replace_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred, const T& new_value); 10433e519524SHoward Hinnant 10443e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 10454bfb9313SMarshall Clow constexpr void // constexpr in C++20 10463e519524SHoward Hinnant fill(ForwardIterator first, ForwardIterator last, const T& value); 10473e519524SHoward Hinnant 10483e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class T> 10494bfb9313SMarshall Clow constexpr OutputIterator // constexpr in C++20 10503e519524SHoward Hinnant fill_n(OutputIterator first, Size n, const T& value); 10513e519524SHoward Hinnant 10523e519524SHoward Hinnanttemplate <class ForwardIterator, class Generator> 10534bfb9313SMarshall Clow constexpr void // constexpr in C++20 10543e519524SHoward Hinnant generate(ForwardIterator first, ForwardIterator last, Generator gen); 10553e519524SHoward Hinnant 10563e519524SHoward Hinnanttemplate <class OutputIterator, class Size, class Generator> 10574bfb9313SMarshall Clow constexpr OutputIterator // constexpr in C++20 10583e519524SHoward Hinnant generate_n(OutputIterator first, Size n, Generator gen); 10593e519524SHoward Hinnant 10603e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 1061e8ea8296SMarshall Clow constexpr ForwardIterator // constexpr in C++20 10623e519524SHoward Hinnant remove(ForwardIterator first, ForwardIterator last, const T& value); 10633e519524SHoward Hinnant 10643e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate> 1065e8ea8296SMarshall Clow constexpr ForwardIterator // constexpr in C++20 10663e519524SHoward Hinnant remove_if(ForwardIterator first, ForwardIterator last, Predicate pred); 10673e519524SHoward Hinnant 10683e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class T> 1069e8ea8296SMarshall Clow constexpr OutputIterator // constexpr in C++20 10703e519524SHoward Hinnant remove_copy(InputIterator first, InputIterator last, OutputIterator result, const T& value); 10713e519524SHoward Hinnant 10723e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class Predicate> 1073e8ea8296SMarshall Clow constexpr OutputIterator // constexpr in C++20 10743e519524SHoward Hinnant remove_copy_if(InputIterator first, InputIterator last, OutputIterator result, Predicate pred); 10753e519524SHoward Hinnant 10763e519524SHoward Hinnanttemplate <class ForwardIterator> 1077b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++20 10783e519524SHoward Hinnant unique(ForwardIterator first, ForwardIterator last); 10793e519524SHoward Hinnant 10803e519524SHoward Hinnanttemplate <class ForwardIterator, class BinaryPredicate> 1081b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++20 10823e519524SHoward Hinnant unique(ForwardIterator first, ForwardIterator last, BinaryPredicate pred); 10833e519524SHoward Hinnant 10843e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator> 1085b8bc4e15SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 10863e519524SHoward Hinnant unique_copy(InputIterator first, InputIterator last, OutputIterator result); 10873e519524SHoward Hinnant 10883e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator, class BinaryPredicate> 1089b8bc4e15SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 10903e519524SHoward Hinnant unique_copy(InputIterator first, InputIterator last, OutputIterator result, BinaryPredicate pred); 10913e519524SHoward Hinnant 10923e519524SHoward Hinnanttemplate <class BidirectionalIterator> 1093f851db3dSArthur O'Dwyer constexpr void // constexpr in C++20 10943e519524SHoward Hinnant reverse(BidirectionalIterator first, BidirectionalIterator last); 10953e519524SHoward Hinnant 10963e519524SHoward Hinnanttemplate <class BidirectionalIterator, class OutputIterator> 1097e8ea8296SMarshall Clow constexpr OutputIterator // constexpr in C++20 10983e519524SHoward Hinnant reverse_copy(BidirectionalIterator first, BidirectionalIterator last, OutputIterator result); 10993e519524SHoward Hinnant 11003e519524SHoward Hinnanttemplate <class ForwardIterator> 1101b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++20 11023e519524SHoward Hinnant rotate(ForwardIterator first, ForwardIterator middle, ForwardIterator last); 11033e519524SHoward Hinnant 11043e519524SHoward Hinnanttemplate <class ForwardIterator, class OutputIterator> 1105b8bc4e15SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 11063e519524SHoward Hinnant rotate_copy(ForwardIterator first, ForwardIterator middle, ForwardIterator last, OutputIterator result); 11073e519524SHoward Hinnant 11083e519524SHoward Hinnanttemplate <class RandomAccessIterator> 11093e519524SHoward Hinnant void 11100f37a410SMarshall Clow random_shuffle(RandomAccessIterator first, RandomAccessIterator last); // deprecated in C++14, removed in C++17 11113e519524SHoward Hinnant 11123e519524SHoward Hinnanttemplate <class RandomAccessIterator, class RandomNumberGenerator> 11133e519524SHoward Hinnant void 111406965c1fSMarshall Clow random_shuffle(RandomAccessIterator first, RandomAccessIterator last, 11150f37a410SMarshall Clow RandomNumberGenerator& rand); // deprecated in C++14, removed in C++17 11163e519524SHoward Hinnant 1117e7154709SEric Fiseliertemplate<class PopulationIterator, class SampleIterator, 1118e7154709SEric Fiselier class Distance, class UniformRandomBitGenerator> 1119e7154709SEric Fiselier SampleIterator sample(PopulationIterator first, PopulationIterator last, 1120e7154709SEric Fiselier SampleIterator out, Distance n, 1121e7154709SEric Fiselier UniformRandomBitGenerator&& g); // C++17 1122e7154709SEric Fiselier 1123f9d540b0SHoward Hinnanttemplate<class RandomAccessIterator, class UniformRandomNumberGenerator> 1124f9d540b0SHoward Hinnant void shuffle(RandomAccessIterator first, RandomAccessIterator last, 1125fb340102SHoward Hinnant UniformRandomNumberGenerator&& g); 1126f9d540b0SHoward Hinnant 11273fbd3eafSArthur O'Dwyertemplate<class ForwardIterator> 11283fbd3eafSArthur O'Dwyer constexpr ForwardIterator 11293fbd3eafSArthur O'Dwyer shift_left(ForwardIterator first, ForwardIterator last, 11303fbd3eafSArthur O'Dwyer typename iterator_traits<ForwardIterator>::difference_type n); // C++20 11313fbd3eafSArthur O'Dwyer 11323fbd3eafSArthur O'Dwyertemplate<class ForwardIterator> 11333fbd3eafSArthur O'Dwyer constexpr ForwardIterator 11343fbd3eafSArthur O'Dwyer shift_right(ForwardIterator first, ForwardIterator last, 11353fbd3eafSArthur O'Dwyer typename iterator_traits<ForwardIterator>::difference_type n); // C++20 11363fbd3eafSArthur O'Dwyer 11373e519524SHoward Hinnanttemplate <class InputIterator, class Predicate> 113849c7643cSMarshall Clow constexpr bool // constexpr in C++20 11393e519524SHoward Hinnant is_partitioned(InputIterator first, InputIterator last, Predicate pred); 11403e519524SHoward Hinnant 11413e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate> 1142f851db3dSArthur O'Dwyer constexpr ForwardIterator // constexpr in C++20 11433e519524SHoward Hinnant partition(ForwardIterator first, ForwardIterator last, Predicate pred); 11443e519524SHoward Hinnant 11453e519524SHoward Hinnanttemplate <class InputIterator, class OutputIterator1, 11463e519524SHoward Hinnant class OutputIterator2, class Predicate> 11471b9a4ffdSMarshall Clow constexpr pair<OutputIterator1, OutputIterator2> // constexpr in C++20 11483e519524SHoward Hinnant partition_copy(InputIterator first, InputIterator last, 11493e519524SHoward Hinnant OutputIterator1 out_true, OutputIterator2 out_false, 11503e519524SHoward Hinnant Predicate pred); 11513e519524SHoward Hinnant 11523e519524SHoward Hinnanttemplate <class ForwardIterator, class Predicate> 11533e519524SHoward Hinnant ForwardIterator 11543e519524SHoward Hinnant stable_partition(ForwardIterator first, ForwardIterator last, Predicate pred); 11553e519524SHoward Hinnant 11563e519524SHoward Hinnanttemplate<class ForwardIterator, class Predicate> 1157d57c03ddSMarshall Clow constexpr ForwardIterator // constexpr in C++20 11583e519524SHoward Hinnant partition_point(ForwardIterator first, ForwardIterator last, Predicate pred); 11593e519524SHoward Hinnant 11603e519524SHoward Hinnanttemplate <class ForwardIterator> 116149c7643cSMarshall Clow constexpr bool // constexpr in C++20 11623e519524SHoward Hinnant is_sorted(ForwardIterator first, ForwardIterator last); 11633e519524SHoward Hinnant 11643e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare> 1165b8bc4e15SArthur O'Dwyer constexpr bool // constexpr in C++20 11663e519524SHoward Hinnant is_sorted(ForwardIterator first, ForwardIterator last, Compare comp); 11673e519524SHoward Hinnant 11683e519524SHoward Hinnanttemplate<class ForwardIterator> 1169056f15e3SMarshall Clow constexpr ForwardIterator // constexpr in C++20 11703e519524SHoward Hinnant is_sorted_until(ForwardIterator first, ForwardIterator last); 11713e519524SHoward Hinnant 11723e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare> 1173056f15e3SMarshall Clow constexpr ForwardIterator // constexpr in C++20 11743e519524SHoward Hinnant is_sorted_until(ForwardIterator first, ForwardIterator last, Compare comp); 11753e519524SHoward Hinnant 11763e519524SHoward Hinnanttemplate <class RandomAccessIterator> 1177493f1407SArthur O'Dwyer constexpr void // constexpr in C++20 11783e519524SHoward Hinnant sort(RandomAccessIterator first, RandomAccessIterator last); 11793e519524SHoward Hinnant 11803e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 1181493f1407SArthur O'Dwyer constexpr void // constexpr in C++20 11823e519524SHoward Hinnant sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 11833e519524SHoward Hinnant 11843e519524SHoward Hinnanttemplate <class RandomAccessIterator> 11853e519524SHoward Hinnant void 11863e519524SHoward Hinnant stable_sort(RandomAccessIterator first, RandomAccessIterator last); 11873e519524SHoward Hinnant 11883e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 11893e519524SHoward Hinnant void 11903e519524SHoward Hinnant stable_sort(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 11913e519524SHoward Hinnant 11923e519524SHoward Hinnanttemplate <class RandomAccessIterator> 11935386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 11943e519524SHoward Hinnant partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last); 11953e519524SHoward Hinnant 11963e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 11975386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 11983e519524SHoward Hinnant partial_sort(RandomAccessIterator first, RandomAccessIterator middle, RandomAccessIterator last, Compare comp); 11993e519524SHoward Hinnant 12003e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator> 12015386aa26SArthur O'Dwyer constexpr RandomAccessIterator // constexpr in C++20 12023e519524SHoward Hinnant partial_sort_copy(InputIterator first, InputIterator last, 12033e519524SHoward Hinnant RandomAccessIterator result_first, RandomAccessIterator result_last); 12043e519524SHoward Hinnant 12053e519524SHoward Hinnanttemplate <class InputIterator, class RandomAccessIterator, class Compare> 12065386aa26SArthur O'Dwyer constexpr RandomAccessIterator // constexpr in C++20 12073e519524SHoward Hinnant partial_sort_copy(InputIterator first, InputIterator last, 12083e519524SHoward Hinnant RandomAccessIterator result_first, RandomAccessIterator result_last, Compare comp); 12093e519524SHoward Hinnant 12103e519524SHoward Hinnanttemplate <class RandomAccessIterator> 12115d956563SArthur O'Dwyer constexpr void // constexpr in C++20 12123e519524SHoward Hinnant nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last); 12133e519524SHoward Hinnant 12143e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 12155d956563SArthur O'Dwyer constexpr void // constexpr in C++20 12163e519524SHoward Hinnant nth_element(RandomAccessIterator first, RandomAccessIterator nth, RandomAccessIterator last, Compare comp); 12173e519524SHoward Hinnant 12183e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 1219d57c03ddSMarshall Clow constexpr ForwardIterator // constexpr in C++20 12203e519524SHoward Hinnant lower_bound(ForwardIterator first, ForwardIterator last, const T& value); 12213e519524SHoward Hinnant 12223e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare> 1223d57c03ddSMarshall Clow constexpr ForwardIterator // constexpr in C++20 12243e519524SHoward Hinnant lower_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp); 12253e519524SHoward Hinnant 12263e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 1227d57c03ddSMarshall Clow constexpr ForwardIterator // constexpr in C++20 12283e519524SHoward Hinnant upper_bound(ForwardIterator first, ForwardIterator last, const T& value); 12293e519524SHoward Hinnant 12303e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare> 1231d57c03ddSMarshall Clow constexpr ForwardIterator // constexpr in C++20 12323e519524SHoward Hinnant upper_bound(ForwardIterator first, ForwardIterator last, const T& value, Compare comp); 12333e519524SHoward Hinnant 12343e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 1235d57c03ddSMarshall Clow constexpr pair<ForwardIterator, ForwardIterator> // constexpr in C++20 12363e519524SHoward Hinnant equal_range(ForwardIterator first, ForwardIterator last, const T& value); 12373e519524SHoward Hinnant 12383e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare> 1239d57c03ddSMarshall Clow constexpr pair<ForwardIterator, ForwardIterator> // constexpr in C++20 12403e519524SHoward Hinnant equal_range(ForwardIterator first, ForwardIterator last, const T& value, Compare comp); 12413e519524SHoward Hinnant 12423e519524SHoward Hinnanttemplate <class ForwardIterator, class T> 1243d57c03ddSMarshall Clow constexpr bool // constexpr in C++20 12443e519524SHoward Hinnant binary_search(ForwardIterator first, ForwardIterator last, const T& value); 12453e519524SHoward Hinnant 12463e519524SHoward Hinnanttemplate <class ForwardIterator, class T, class Compare> 12478da1a487SMarshall Clow constexpr bool // constexpr in C++20 12483e519524SHoward Hinnant binary_search(ForwardIterator first, ForwardIterator last, const T& value, Compare comp); 12493e519524SHoward Hinnant 12503e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator> 125114098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 12523e519524SHoward Hinnant merge(InputIterator1 first1, InputIterator1 last1, 12533e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result); 12543e519524SHoward Hinnant 12553e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare> 125614098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 12573e519524SHoward Hinnant merge(InputIterator1 first1, InputIterator1 last1, 12583e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp); 12593e519524SHoward Hinnant 12603e519524SHoward Hinnanttemplate <class BidirectionalIterator> 12613e519524SHoward Hinnant void 12623e519524SHoward Hinnant inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last); 12633e519524SHoward Hinnant 12643e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare> 12653e519524SHoward Hinnant void 12663e519524SHoward Hinnant inplace_merge(BidirectionalIterator first, BidirectionalIterator middle, BidirectionalIterator last, Compare comp); 12673e519524SHoward Hinnant 12683e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2> 12698da1a487SMarshall Clow constexpr bool // constexpr in C++20 12703e519524SHoward Hinnant includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2); 12713e519524SHoward Hinnant 12723e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare> 12738da1a487SMarshall Clow constexpr bool // constexpr in C++20 12743e519524SHoward Hinnant includes(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2, Compare comp); 12753e519524SHoward Hinnant 12763e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator> 127714098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 12783e519524SHoward Hinnant set_union(InputIterator1 first1, InputIterator1 last1, 12793e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result); 12803e519524SHoward Hinnant 12813e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare> 128214098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 12833e519524SHoward Hinnant set_union(InputIterator1 first1, InputIterator1 last1, 12843e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp); 12853e519524SHoward Hinnant 12863e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator> 12878da1a487SMarshall Clow constexpr OutputIterator // constexpr in C++20 12883e519524SHoward Hinnant set_intersection(InputIterator1 first1, InputIterator1 last1, 12893e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result); 12903e519524SHoward Hinnant 12913e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare> 12928da1a487SMarshall Clow constexpr OutputIterator // constexpr in C++20 12933e519524SHoward Hinnant set_intersection(InputIterator1 first1, InputIterator1 last1, 12943e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp); 12953e519524SHoward Hinnant 12963e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator> 129714098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 12983e519524SHoward Hinnant set_difference(InputIterator1 first1, InputIterator1 last1, 12993e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result); 13003e519524SHoward Hinnant 13013e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare> 130214098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 13033e519524SHoward Hinnant set_difference(InputIterator1 first1, InputIterator1 last1, 13043e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp); 13053e519524SHoward Hinnant 13063e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator> 130714098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 13083e519524SHoward Hinnant set_symmetric_difference(InputIterator1 first1, InputIterator1 last1, 13093e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result); 13103e519524SHoward Hinnant 13113e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class OutputIterator, class Compare> 131214098cf6SArthur O'Dwyer constexpr OutputIterator // constexpr in C++20 13133e519524SHoward Hinnant set_symmetric_difference(InputIterator1 first1, InputIterator1 last1, 13143e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, OutputIterator result, Compare comp); 13153e519524SHoward Hinnant 13163e519524SHoward Hinnanttemplate <class RandomAccessIterator> 13175386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13183e519524SHoward Hinnant push_heap(RandomAccessIterator first, RandomAccessIterator last); 13193e519524SHoward Hinnant 13203e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 13215386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13223e519524SHoward Hinnant push_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 13233e519524SHoward Hinnant 13243e519524SHoward Hinnanttemplate <class RandomAccessIterator> 13255386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13263e519524SHoward Hinnant pop_heap(RandomAccessIterator first, RandomAccessIterator last); 13273e519524SHoward Hinnant 13283e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 13295386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13303e519524SHoward Hinnant pop_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 13313e519524SHoward Hinnant 13323e519524SHoward Hinnanttemplate <class RandomAccessIterator> 13335386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13343e519524SHoward Hinnant make_heap(RandomAccessIterator first, RandomAccessIterator last); 13353e519524SHoward Hinnant 13363e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 13375386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13383e519524SHoward Hinnant make_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 13393e519524SHoward Hinnant 13403e519524SHoward Hinnanttemplate <class RandomAccessIterator> 13415386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13423e519524SHoward Hinnant sort_heap(RandomAccessIterator first, RandomAccessIterator last); 13433e519524SHoward Hinnant 13443e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 13455386aa26SArthur O'Dwyer constexpr void // constexpr in C++20 13463e519524SHoward Hinnant sort_heap(RandomAccessIterator first, RandomAccessIterator last, Compare comp); 13473e519524SHoward Hinnant 13483e519524SHoward Hinnanttemplate <class RandomAccessIterator> 134949c7643cSMarshall Clow constexpr bool // constexpr in C++20 13503e519524SHoward Hinnant is_heap(RandomAccessIterator first, RandomAccessiterator last); 13513e519524SHoward Hinnant 13523e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 135349c7643cSMarshall Clow constexpr bool // constexpr in C++20 13543e519524SHoward Hinnant is_heap(RandomAccessIterator first, RandomAccessiterator last, Compare comp); 13553e519524SHoward Hinnant 13563e519524SHoward Hinnanttemplate <class RandomAccessIterator> 135749c7643cSMarshall Clow constexpr RandomAccessIterator // constexpr in C++20 13583e519524SHoward Hinnant is_heap_until(RandomAccessIterator first, RandomAccessiterator last); 13593e519524SHoward Hinnant 13603e519524SHoward Hinnanttemplate <class RandomAccessIterator, class Compare> 136149c7643cSMarshall Clow constexpr RandomAccessIterator // constexpr in C++20 13623e519524SHoward Hinnant is_heap_until(RandomAccessIterator first, RandomAccessiterator last, Compare comp); 13633e519524SHoward Hinnant 13644eb27b79SHoward Hinnanttemplate <class ForwardIterator> 1365b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++14 1366b8bc4e15SArthur O'Dwyer min_element(ForwardIterator first, ForwardIterator last); 13674eb27b79SHoward Hinnant 13684eb27b79SHoward Hinnanttemplate <class ForwardIterator, class Compare> 1369b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++14 1370b8bc4e15SArthur O'Dwyer min_element(ForwardIterator first, ForwardIterator last, Compare comp); 13714eb27b79SHoward Hinnant 13723e519524SHoward Hinnanttemplate <class T> 1373b8bc4e15SArthur O'Dwyer constexpr const T& // constexpr in C++14 1374b8bc4e15SArthur O'Dwyer min(const T& a, const T& b); 13753e519524SHoward Hinnant 13763e519524SHoward Hinnanttemplate <class T, class Compare> 1377b8bc4e15SArthur O'Dwyer constexpr const T& // constexpr in C++14 1378b8bc4e15SArthur O'Dwyer min(const T& a, const T& b, Compare comp); 13793e519524SHoward Hinnant 13803e519524SHoward Hinnanttemplate<class T> 1381b8bc4e15SArthur O'Dwyer constexpr T // constexpr in C++14 1382b8bc4e15SArthur O'Dwyer min(initializer_list<T> t); 13833e519524SHoward Hinnant 13843e519524SHoward Hinnanttemplate<class T, class Compare> 1385b8bc4e15SArthur O'Dwyer constexpr T // constexpr in C++14 1386b8bc4e15SArthur O'Dwyer min(initializer_list<T> t, Compare comp); 13873e519524SHoward Hinnant 1388146c14acSMarshall Clowtemplate<class T> 1389146c14acSMarshall Clow constexpr const T& clamp(const T& v, const T& lo, const T& hi); // C++17 1390146c14acSMarshall Clow 1391146c14acSMarshall Clowtemplate<class T, class Compare> 1392146c14acSMarshall Clow constexpr const T& clamp(const T& v, const T& lo, const T& hi, Compare comp); // C++17 1393146c14acSMarshall Clow 13943e519524SHoward Hinnanttemplate <class ForwardIterator> 1395b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++14 1396b8bc4e15SArthur O'Dwyer max_element(ForwardIterator first, ForwardIterator last); 13973e519524SHoward Hinnant 13983e519524SHoward Hinnanttemplate <class ForwardIterator, class Compare> 1399b8bc4e15SArthur O'Dwyer constexpr ForwardIterator // constexpr in C++14 1400b8bc4e15SArthur O'Dwyer max_element(ForwardIterator first, ForwardIterator last, Compare comp); 14013e519524SHoward Hinnant 14024eb27b79SHoward Hinnanttemplate <class T> 1403b8bc4e15SArthur O'Dwyer constexpr const T& // constexpr in C++14 1404b8bc4e15SArthur O'Dwyer max(const T& a, const T& b); 14054eb27b79SHoward Hinnant 14064eb27b79SHoward Hinnanttemplate <class T, class Compare> 1407b8bc4e15SArthur O'Dwyer constexpr const T& // constexpr in C++14 1408b8bc4e15SArthur O'Dwyer max(const T& a, const T& b, Compare comp); 14094eb27b79SHoward Hinnant 14104eb27b79SHoward Hinnanttemplate<class T> 1411b8bc4e15SArthur O'Dwyer constexpr T // constexpr in C++14 1412b8bc4e15SArthur O'Dwyer max(initializer_list<T> t); 14134eb27b79SHoward Hinnant 14144eb27b79SHoward Hinnanttemplate<class T, class Compare> 1415b8bc4e15SArthur O'Dwyer constexpr T // constexpr in C++14 1416b8bc4e15SArthur O'Dwyer max(initializer_list<T> t, Compare comp); 14174eb27b79SHoward Hinnant 14184eb27b79SHoward Hinnanttemplate<class ForwardIterator> 1419b8bc4e15SArthur O'Dwyer constexpr pair<ForwardIterator, ForwardIterator> // constexpr in C++14 1420b8bc4e15SArthur O'Dwyer minmax_element(ForwardIterator first, ForwardIterator last); 14214eb27b79SHoward Hinnant 14224eb27b79SHoward Hinnanttemplate<class ForwardIterator, class Compare> 1423b8bc4e15SArthur O'Dwyer constexpr pair<ForwardIterator, ForwardIterator> // constexpr in C++14 1424b8bc4e15SArthur O'Dwyer minmax_element(ForwardIterator first, ForwardIterator last, Compare comp); 14254eb27b79SHoward Hinnant 14264eb27b79SHoward Hinnanttemplate<class T> 1427b8bc4e15SArthur O'Dwyer constexpr pair<const T&, const T&> // constexpr in C++14 1428b8bc4e15SArthur O'Dwyer minmax(const T& a, const T& b); 14294eb27b79SHoward Hinnant 14304eb27b79SHoward Hinnanttemplate<class T, class Compare> 1431b8bc4e15SArthur O'Dwyer constexpr pair<const T&, const T&> // constexpr in C++14 1432b8bc4e15SArthur O'Dwyer minmax(const T& a, const T& b, Compare comp); 14334eb27b79SHoward Hinnant 14344eb27b79SHoward Hinnanttemplate<class T> 1435b8bc4e15SArthur O'Dwyer constexpr pair<T, T> // constexpr in C++14 1436b8bc4e15SArthur O'Dwyer minmax(initializer_list<T> t); 14374eb27b79SHoward Hinnant 14384eb27b79SHoward Hinnanttemplate<class T, class Compare> 1439b8bc4e15SArthur O'Dwyer constexpr pair<T, T> // constexpr in C++14 1440b8bc4e15SArthur O'Dwyer minmax(initializer_list<T> t, Compare comp); 14414eb27b79SHoward Hinnant 14423e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2> 14431b9a4ffdSMarshall Clow constexpr bool // constexpr in C++20 14443e519524SHoward Hinnant lexicographical_compare(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2); 14453e519524SHoward Hinnant 14463e519524SHoward Hinnanttemplate <class InputIterator1, class InputIterator2, class Compare> 14471b9a4ffdSMarshall Clow constexpr bool // constexpr in C++20 14483e519524SHoward Hinnant lexicographical_compare(InputIterator1 first1, InputIterator1 last1, 14493e519524SHoward Hinnant InputIterator2 first2, InputIterator2 last2, Compare comp); 14503e519524SHoward Hinnant 14513e519524SHoward Hinnanttemplate <class BidirectionalIterator> 1452f851db3dSArthur O'Dwyer constexpr bool // constexpr in C++20 14533e519524SHoward Hinnant next_permutation(BidirectionalIterator first, BidirectionalIterator last); 14543e519524SHoward Hinnant 14553e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare> 1456f851db3dSArthur O'Dwyer constexpr bool // constexpr in C++20 14573e519524SHoward Hinnant next_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp); 14583e519524SHoward Hinnant 14593e519524SHoward Hinnanttemplate <class BidirectionalIterator> 1460f851db3dSArthur O'Dwyer constexpr bool // constexpr in C++20 14613e519524SHoward Hinnant prev_permutation(BidirectionalIterator first, BidirectionalIterator last); 14623e519524SHoward Hinnant 14633e519524SHoward Hinnanttemplate <class BidirectionalIterator, class Compare> 1464f851db3dSArthur O'Dwyer constexpr bool // constexpr in C++20 14653e519524SHoward Hinnant prev_permutation(BidirectionalIterator first, BidirectionalIterator last, Compare comp); 14663e519524SHoward Hinnant} // std 14673e519524SHoward Hinnant 14683e519524SHoward Hinnant*/ 14693e519524SHoward Hinnant 1470385cc25aSLouis Dionne#include <__assert> // all public C++ headers provide the assertion handler 1471ea2206d7SArthur O'Dwyer#include <__bits> 14723e519524SHoward Hinnant#include <__config> 1473134723edSLouis Dionne#include <__debug> 1474a1d07d57SHoward Hinnant#include <cstddef> 1475bfbd73f8SArthur O'Dwyer#include <cstring> 1476bfbd73f8SArthur O'Dwyer#include <memory> 1477bfbd73f8SArthur O'Dwyer#include <type_traits> 1478f56972e2SMarshall Clow#include <version> 14795d1a701dSHoward Hinnant 1480134723edSLouis Dionne#include <__algorithm/adjacent_find.h> 1481134723edSLouis Dionne#include <__algorithm/all_of.h> 1482134723edSLouis Dionne#include <__algorithm/any_of.h> 1483134723edSLouis Dionne#include <__algorithm/binary_search.h> 1484134723edSLouis Dionne#include <__algorithm/clamp.h> 1485134723edSLouis Dionne#include <__algorithm/comp.h> 1486134723edSLouis Dionne#include <__algorithm/comp_ref_type.h> 1487134723edSLouis Dionne#include <__algorithm/copy.h> 1488134723edSLouis Dionne#include <__algorithm/copy_backward.h> 1489134723edSLouis Dionne#include <__algorithm/copy_if.h> 1490134723edSLouis Dionne#include <__algorithm/copy_n.h> 1491134723edSLouis Dionne#include <__algorithm/count.h> 1492134723edSLouis Dionne#include <__algorithm/count_if.h> 1493134723edSLouis Dionne#include <__algorithm/equal.h> 1494134723edSLouis Dionne#include <__algorithm/equal_range.h> 1495134723edSLouis Dionne#include <__algorithm/fill.h> 14964d81a46fSArthur O'Dwyer#include <__algorithm/fill_n.h> 1497134723edSLouis Dionne#include <__algorithm/find.h> 1498134723edSLouis Dionne#include <__algorithm/find_end.h> 1499134723edSLouis Dionne#include <__algorithm/find_first_of.h> 1500134723edSLouis Dionne#include <__algorithm/find_if.h> 1501134723edSLouis Dionne#include <__algorithm/find_if_not.h> 1502134723edSLouis Dionne#include <__algorithm/for_each.h> 1503134723edSLouis Dionne#include <__algorithm/for_each_n.h> 1504134723edSLouis Dionne#include <__algorithm/generate.h> 15054d81a46fSArthur O'Dwyer#include <__algorithm/generate_n.h> 1506134723edSLouis Dionne#include <__algorithm/half_positive.h> 150768f4131cSNikolas Klauser#include <__algorithm/in_found_result.h> 15081e77b396SNikolas Klauser#include <__algorithm/in_fun_result.h> 1509f3514af4SNikolas Klauser#include <__algorithm/in_in_out_result.h> 1510d3729bb3SNikolas Klauser#include <__algorithm/in_in_result.h> 1511610979b3SNikolas Klauser#include <__algorithm/in_out_out_result.h> 15128d23b742SKonstantin Varlamov#include <__algorithm/in_out_result.h> 1513134723edSLouis Dionne#include <__algorithm/includes.h> 1514134723edSLouis Dionne#include <__algorithm/inplace_merge.h> 1515134723edSLouis Dionne#include <__algorithm/is_heap.h> 1516134723edSLouis Dionne#include <__algorithm/is_heap_until.h> 1517134723edSLouis Dionne#include <__algorithm/is_partitioned.h> 1518134723edSLouis Dionne#include <__algorithm/is_permutation.h> 1519134723edSLouis Dionne#include <__algorithm/is_sorted.h> 1520134723edSLouis Dionne#include <__algorithm/is_sorted_until.h> 15216adbc83eSChristopher Di Bella#include <__algorithm/iter_swap.h> 1522134723edSLouis Dionne#include <__algorithm/lexicographical_compare.h> 1523134723edSLouis Dionne#include <__algorithm/lower_bound.h> 1524134723edSLouis Dionne#include <__algorithm/make_heap.h> 1525134723edSLouis Dionne#include <__algorithm/max.h> 1526134723edSLouis Dionne#include <__algorithm/max_element.h> 1527134723edSLouis Dionne#include <__algorithm/merge.h> 1528134723edSLouis Dionne#include <__algorithm/min.h> 1529134723edSLouis Dionne#include <__algorithm/min_element.h> 1530807766beSNikolas Klauser#include <__algorithm/min_max_result.h> 1531134723edSLouis Dionne#include <__algorithm/minmax.h> 1532134723edSLouis Dionne#include <__algorithm/minmax_element.h> 1533134723edSLouis Dionne#include <__algorithm/mismatch.h> 1534134723edSLouis Dionne#include <__algorithm/move.h> 1535134723edSLouis Dionne#include <__algorithm/move_backward.h> 1536134723edSLouis Dionne#include <__algorithm/next_permutation.h> 1537134723edSLouis Dionne#include <__algorithm/none_of.h> 1538134723edSLouis Dionne#include <__algorithm/nth_element.h> 1539134723edSLouis Dionne#include <__algorithm/partial_sort.h> 1540134723edSLouis Dionne#include <__algorithm/partial_sort_copy.h> 1541134723edSLouis Dionne#include <__algorithm/partition.h> 1542134723edSLouis Dionne#include <__algorithm/partition_copy.h> 1543134723edSLouis Dionne#include <__algorithm/partition_point.h> 1544134723edSLouis Dionne#include <__algorithm/pop_heap.h> 1545134723edSLouis Dionne#include <__algorithm/prev_permutation.h> 1546134723edSLouis Dionne#include <__algorithm/push_heap.h> 1547916e9052SNikolas Klauser#include <__algorithm/ranges_adjacent_find.h> 15480e3dc1a5SNikolas Klauser#include <__algorithm/ranges_all_of.h> 15490e3dc1a5SNikolas Klauser#include <__algorithm/ranges_any_of.h> 155081715861SNikolas Klauser#include <__algorithm/ranges_binary_search.h> 15511d83750fSNikolas Klauser#include <__algorithm/ranges_copy.h> 15521d83750fSNikolas Klauser#include <__algorithm/ranges_copy_backward.h> 15531d83750fSNikolas Klauser#include <__algorithm/ranges_copy_if.h> 15541d83750fSNikolas Klauser#include <__algorithm/ranges_copy_n.h> 15551306b102SNikolas Klauser#include <__algorithm/ranges_count.h> 15561306b102SNikolas Klauser#include <__algorithm/ranges_count_if.h> 1557569d6630SNikolas Klauser#include <__algorithm/ranges_equal.h> 15580f6364b8SHui Xie#include <__algorithm/ranges_equal_range.h> 15597af89a37SNikolas Klauser#include <__algorithm/ranges_fill.h> 15607af89a37SNikolas Klauser#include <__algorithm/ranges_fill_n.h> 1561ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find.h> 1562101d1e9bSNikolas Klauser#include <__algorithm/ranges_find_end.h> 1563b79b2b67SNikolas Klauser#include <__algorithm/ranges_find_first_of.h> 1564ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find_if.h> 1565ee0f8c40SNikolas Klauser#include <__algorithm/ranges_find_if_not.h> 156680045e9aSNikolas Klauser#include <__algorithm/ranges_for_each.h> 156780045e9aSNikolas Klauser#include <__algorithm/ranges_for_each_n.h> 1568*c559964dSHui Xie#include <__algorithm/ranges_includes.h> 156937ba1b9dSNikolas Klauser#include <__algorithm/ranges_is_partitioned.h> 157011e3ad29SNikolas Klauser#include <__algorithm/ranges_is_sorted.h> 157111e3ad29SNikolas Klauser#include <__algorithm/ranges_is_sorted_until.h> 1572afd5a4f2SNikolas Klauser#include <__algorithm/ranges_lexicographical_compare.h> 157381715861SNikolas Klauser#include <__algorithm/ranges_lower_bound.h> 1574c945bd0dSKonstantin Varlamov#include <__algorithm/ranges_make_heap.h> 1575e476df56SNikolas Klauser#include <__algorithm/ranges_max.h> 1576205557c9SNikolas Klauser#include <__algorithm/ranges_max_element.h> 157725607d14SHui Xie#include <__algorithm/ranges_merge.h> 1578f83d833eSNikolas Klauser#include <__algorithm/ranges_min.h> 15793b470d1cSNikolas Klauser#include <__algorithm/ranges_min_element.h> 158058d9ab70SNikolas Klauser#include <__algorithm/ranges_minmax.h> 158158d9ab70SNikolas Klauser#include <__algorithm/ranges_minmax_element.h> 1582c2cd15a6SNikolas Klauser#include <__algorithm/ranges_mismatch.h> 15832c3bbac0SNikolas Klauser#include <__algorithm/ranges_move.h> 15842c3bbac0SNikolas Klauser#include <__algorithm/ranges_move_backward.h> 15850e3dc1a5SNikolas Klauser#include <__algorithm/ranges_none_of.h> 158623c7328bSKonstantin Varlamov#include <__algorithm/ranges_nth_element.h> 15875dd19adaSvarconst#include <__algorithm/ranges_partial_sort.h> 15888ed702b8SKonstantin Varlamov#include <__algorithm/ranges_partition.h> 1589065202f3SKonstantin Varlamov#include <__algorithm/ranges_partition_copy.h> 1590065202f3SKonstantin Varlamov#include <__algorithm/ranges_partition_point.h> 1591c945bd0dSKonstantin Varlamov#include <__algorithm/ranges_pop_heap.h> 1592c945bd0dSKonstantin Varlamov#include <__algorithm/ranges_push_heap.h> 1593f8cbe3cdSNikolas Klauser#include <__algorithm/ranges_remove.h> 1594f8cbe3cdSNikolas Klauser#include <__algorithm/ranges_remove_if.h> 1595ff6d5deeSNikolas Klauser#include <__algorithm/ranges_replace.h> 1596ff6d5deeSNikolas Klauser#include <__algorithm/ranges_replace_if.h> 15971d1a191eSNikolas Klauser#include <__algorithm/ranges_reverse.h> 15987d426a39SNikolas Klauser#include <__algorithm/ranges_reverse_copy.h> 15997d426a39SNikolas Klauser#include <__algorithm/ranges_rotate_copy.h> 1600101d1e9bSNikolas Klauser#include <__algorithm/ranges_search.h> 1601101d1e9bSNikolas Klauser#include <__algorithm/ranges_search_n.h> 16021cdec6c9SHui Xie#include <__algorithm/ranges_set_difference.h> 160396b674f2SHui Xie#include <__algorithm/ranges_set_intersection.h> 1604a5c0638dSHui Xie#include <__algorithm/ranges_set_symmetric_difference.h> 16053151b95dSHui Xie#include <__algorithm/ranges_set_union.h> 1606ff3989e6SKonstantin Varlamov#include <__algorithm/ranges_sort.h> 1607c945bd0dSKonstantin Varlamov#include <__algorithm/ranges_sort_heap.h> 16088ed702b8SKonstantin Varlamov#include <__algorithm/ranges_stable_partition.h> 160994c7b89fSKonstantin Varlamov#include <__algorithm/ranges_stable_sort.h> 16109d905319SNikolas Klauser#include <__algorithm/ranges_swap_ranges.h> 16113ba8548cSNikolas Klauser#include <__algorithm/ranges_transform.h> 161281715861SNikolas Klauser#include <__algorithm/ranges_upper_bound.h> 1613134723edSLouis Dionne#include <__algorithm/remove.h> 1614134723edSLouis Dionne#include <__algorithm/remove_copy.h> 1615134723edSLouis Dionne#include <__algorithm/remove_copy_if.h> 1616134723edSLouis Dionne#include <__algorithm/remove_if.h> 1617134723edSLouis Dionne#include <__algorithm/replace.h> 1618134723edSLouis Dionne#include <__algorithm/replace_copy.h> 1619134723edSLouis Dionne#include <__algorithm/replace_copy_if.h> 1620134723edSLouis Dionne#include <__algorithm/replace_if.h> 1621134723edSLouis Dionne#include <__algorithm/reverse.h> 1622134723edSLouis Dionne#include <__algorithm/reverse_copy.h> 1623134723edSLouis Dionne#include <__algorithm/rotate.h> 1624134723edSLouis Dionne#include <__algorithm/rotate_copy.h> 1625134723edSLouis Dionne#include <__algorithm/sample.h> 1626134723edSLouis Dionne#include <__algorithm/search.h> 1627134723edSLouis Dionne#include <__algorithm/search_n.h> 1628134723edSLouis Dionne#include <__algorithm/set_difference.h> 1629134723edSLouis Dionne#include <__algorithm/set_intersection.h> 1630134723edSLouis Dionne#include <__algorithm/set_symmetric_difference.h> 1631134723edSLouis Dionne#include <__algorithm/set_union.h> 1632134723edSLouis Dionne#include <__algorithm/shift_left.h> 1633134723edSLouis Dionne#include <__algorithm/shift_right.h> 1634134723edSLouis Dionne#include <__algorithm/shuffle.h> 1635134723edSLouis Dionne#include <__algorithm/sift_down.h> 1636134723edSLouis Dionne#include <__algorithm/sort.h> 1637134723edSLouis Dionne#include <__algorithm/sort_heap.h> 1638134723edSLouis Dionne#include <__algorithm/stable_partition.h> 1639134723edSLouis Dionne#include <__algorithm/stable_sort.h> 16406adbc83eSChristopher Di Bella#include <__algorithm/swap_ranges.h> 1641134723edSLouis Dionne#include <__algorithm/transform.h> 1642134723edSLouis Dionne#include <__algorithm/unique.h> 16434d81a46fSArthur O'Dwyer#include <__algorithm/unique_copy.h> 1644134723edSLouis Dionne#include <__algorithm/unwrap_iter.h> 1645134723edSLouis Dionne#include <__algorithm/upper_bound.h> 1646c1bd9197SEric Fiselier 1647de4a57cbSLouis Dionne#ifndef _LIBCPP_REMOVE_TRANSITIVE_INCLUDES 1648de4a57cbSLouis Dionne# include <chrono> 1649de4a57cbSLouis Dionne# include <iterator> 1650de4a57cbSLouis Dionne# include <utility> 1651de4a57cbSLouis Dionne#endif 1652de4a57cbSLouis Dionne 1653db1978b6SNikolas Klauser// standard-mandated includes 1654db1978b6SNikolas Klauser#include <initializer_list> 1655db1978b6SNikolas Klauser 1656073458b1SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 16573e519524SHoward Hinnant# pragma GCC system_header 1658073458b1SHoward Hinnant#endif 16593e519524SHoward Hinnant 16600a06eb91SLouis Dionne#if defined(_LIBCPP_HAS_PARALLEL_ALGORITHMS) && _LIBCPP_STD_VER >= 17 166195689243SLouis Dionne# include <__pstl_algorithm> 16620a06eb91SLouis Dionne#endif 16630a06eb91SLouis Dionne 16643e519524SHoward Hinnant#endif // _LIBCPP_ALGORITHM 1665