On Fri, Apr 14, 2023 at 6:19 PM Jonathan Wakely via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
On Fri, 14 Apr 2023, 17:02 LoS via Std-Proposals, <std-proposals@lists.isocpp.org> wrote:
As suggested in a reply to my previous proposal, I drafted a proposal to introduce the std::is_uniqued() function.

I feel somebody should point out that uniqued is not a word.

Technically correct, the best kind of correct. :)

On Sat, Apr 15, 2023 at 6:32 AM LoS wrote:
@Jonathan, probably you are right.
However, I thought the name was not a bad idea since there is already the following algorithm: https://swiftinit.org/reference/swift/sequence.uniqued%28%29?from=swift-algorithms
 
That's useful prior art for the verb (besides the prior art in C++ and Unix). Do note that Swift's notion of "uniqued" is "contains no duplicates," whereas C++'s and Unix's is "contains no adjacent duplicates." This could be confusing; but I think the existence of the `std::unique` algorithm in C++ makes it pretty easy to remember (and teach) what `is_uniqued` means.
- `std::sort` sorts an array and makes it sorted, such that it `is_sorted`.
- `std::unique` uniques an array and makes it uniqued, such that it `is_uniqued`.
The odd one out is `std::make_heap` (`make_unique` was taken ;)) and `is_heap` — that pair of algorithms could better have been named `heapify` and `is_heapified`.

I've put up a draft revision of D2848R0 "std::is_uniqued" here. Comments welcome. (Also pull requests, if anyone wants to beat me to a libc++ implementation. I don't plan to work on that for the next 12 hours at least.)
https://quuxplusone.github.io/draft/d2848-std-is-uniqued.html

–Arthur