[libcxx] adds remaining callable concepts
authorChristopher Di Bella <cjdb@google.com>
Wed, 31 Mar 2021 05:28:25 +0000 (05:28 +0000)
committerChristopher Di Bella <cjdb@google.com>
Wed, 7 Apr 2021 16:14:45 +0000 (16:14 +0000)
commitc7ad02009934ecaea4e2f152ff784ee0d36029a0
treeb0899037e09a60137baa7536bdc9320fc11cbca1
parent982e3c05108b606701d99d43098331357d9dd0ca
[libcxx] adds remaining callable concepts

* `std::predicate`
* `std::relation`
* `std::equivalence_relation`
* `std::strict_weak_order`

Implements parts of:
    - P0898R3 Standard Library Concepts
    - P1754 Rename concepts to standard_case for C++20, while we still can

Differential Revision: https://reviews.llvm.org/D96477
libcxx/test/std/concepts/concepts.callable/concept.equiv/equivalence_relation.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.equiv/equivalence_relation.subsumption.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.predicate/predicate.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.predicate/predicate.subsumption.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.relation/relation.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.relation/relation.subsumption.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.strictweakorder/strict_weak_order.pass.cpp [new file with mode: 0644]
libcxx/test/std/concepts/concepts.callable/concept.strictweakorder/strict_weak_order.subsumption.pass.cpp [new file with mode: 0644]