Added eq_m

Author: polytypic

internals/testing/comparison_test.cpp

@@ -4,3 +4,6 @@
 
 static_assert(
     lax::value_of_v<lax::gt_m<lax::value_t<int, 2>, lax::value_t<int, 1>>>);
+
+static_assert(
+    !lax::value_of_v<lax::eq_m<lax::value_t<int, 2>, lax::value_t<int, 1>>>);

provides/include/lax_v1/comparison.hpp

@@ -3,6 +3,9 @@
 #include "lax_v1/synopsis.hpp"
 #include "lax_v1/value.hpp"
 
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::eq_m : auto_t<(value_of_v<LhsExpr> == value_of_v<RhsExpr>)> {};
+
 template <class LhsExpr, class RhsExpr>
 struct lax_v1::gt_m : auto_t<(value_of_v<LhsExpr>> value_of_v<RhsExpr>)> {};
 

provides/include/lax_v1/synopsis.hpp

@@ -34,6 +34,7 @@ template <class Expr> struct neg_m;
 
 // comparison.hpp --------------------------------------------------------------
 
+template <class LhsExpr, class RhsExpr> struct eq_m;
 template <class LhsExpr, class RhsExpr> struct gt_m;
 template <class LhsExpr, class RhsExpr> struct gte_m;
 template <class LhsExpr, class RhsExpr> struct lt_m;