Merge pull request #459 from elbeno/matcher-equivalence

Author: lukevalenty

include/match/ops.hpp

@@ -8,6 +8,9 @@
 #include <match/or.hpp>
 #include <match/simplify.hpp>
 
+#include <compare>
+#include <utility>
+
 template <match::matcher L, match::matcher R>
 [[nodiscard]] constexpr auto operator and(L const &lhs, R const &rhs)
     -> decltype(match::simplify(std::declval<match::and_t<L, R>>())) {
@@ -25,3 +28,16 @@ template <match::matcher M>
     -> decltype(match::simplify(match::negate(std::declval<M>()))) {
     return match::simplify(match::negate(m));
 }
+
+template <match::matcher L, match::matcher R>
+[[nodiscard]] constexpr auto operator<=>(L const &lhs, R const &rhs)
+    -> std::partial_ordering {
+    auto const l = match::simplify(lhs);
+    auto const r = match::simplify(rhs);
+    auto const x = match::implies(l, r);
+    auto const y = match::implies(r, l);
+    if (not x and not y) {
+        return std::partial_ordering::unordered;
+    }
+    return x <=> y;
+}

test/CMakeLists.txt

@@ -38,6 +38,7 @@ add_tests(
     lookup/strategies
     match/and
     match/constant
+    match/equivalence
     match/implies
     match/not
     match/or

test/match/equivalence.cpp

@@ -0,0 +1,37 @@
+#include "test_matcher.hpp"
+
+#include <match/ops.hpp>
+
+#include <catch2/catch_test_macros.hpp>
+
+#include <compare>
+#include <type_traits>
+
+TEST_CASE("less than", "[match equivalence]") {
+    using T = test_m<0>;
+    using U = match::and_t<T, test_m<1>>;
+    constexpr auto result = T{} <=> U{};
+    static_assert(result == std::partial_ordering::less);
+    static_assert(T{} < U{});
+}
+
+TEST_CASE("greater than", "[match equivalence]") {
+    using T = test_m<0>;
+    using U = match::or_t<T, test_m<1>>;
+    constexpr auto result = T{} <=> U{};
+    static_assert(result == std::partial_ordering::greater);
+    static_assert(T{} > U{});
+}
+
+TEST_CASE("equivalent", "[match equivalence]") {
+    using T = test_m<0>;
+    constexpr auto result = T{} <=> T{};
+    static_assert(result == std::partial_ordering::equivalent);
+}
+
+TEST_CASE("unorderable", "[match equivalence]") {
+    using T = test_m<0>;
+    using U = test_m<1>;
+    constexpr auto result = T{} <=> U{};
+    static_assert(result == std::partial_ordering::unordered);
+}