Arithmetic

Author: polytypic

internals/testing/arithmetic_test.cpp

@@ -0,0 +1,34 @@
+#include "lax_v1/arithmetic.hpp"
+#include "lax_v1/force.hpp"
+
+#include "config.hpp"
+
+#include <type_traits>
+
+static_assert(
+    std::is_same_v<
+        lax::force_t<lax::add_m<lax::value_t<short, 1>, lax::value_t<long, 2>>>,
+        lax::value_t<long, 3>>);
+
+static_assert(
+    std::is_same_v<
+        lax::force_t<lax::mod_m<lax::value_t<int, 2>, lax::value_t<int, 2>>>,
+        lax::value_t<int, 0>>);
+
+static_assert(
+    std::is_same_v<
+        lax::force_t<lax::mul_m<lax::value_t<int, 1>, lax::value_t<short, 2>>>,
+        lax::value_t<int, 2>>);
+
+static_assert(
+    std::is_same_v<
+        lax::force_t<lax::div_m<lax::value_t<short, 6>, lax::value_t<char, 2>>>,
+        lax::value_t<int, 3>>);
+
+static_assert(
+    std::is_same_v<
+        lax::force_t<lax::sub_m<lax::value_t<int, 3>, lax::value_t<char, 2>>>,
+        lax::value_t<int, 1>>);
+
+static_assert(std::is_same_v<lax::force_t<lax::neg_m<lax::value_t<short, 3>>>,
+                             lax::value_t<int, -3>>);

provides/include/lax_v1/arithmetic.hpp

@@ -0,0 +1,34 @@
+#pragma once
+
+#include "lax_v1/arithmetic_synopsis.hpp"
+
+#include "lax_v1/value.hpp"
+
+#include <type_traits>
+
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::add_m : value_t<std::common_type_t<value_type_of_t<LhsExpr>,
+                                                  value_type_of_t<RhsExpr>>,
+                               value_of_v<LhsExpr> + value_of_v<RhsExpr>> {};
+
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::div_m : value_t<std::common_type_t<value_type_of_t<LhsExpr>,
+                                                  value_type_of_t<RhsExpr>>,
+                               value_of_v<LhsExpr> / value_of_v<RhsExpr>> {};
+
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::mod_m : value_t<std::common_type_t<value_type_of_t<LhsExpr>,
+                                                  value_type_of_t<RhsExpr>>,
+                               value_of_v<LhsExpr> % value_of_v<RhsExpr>> {};
+
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::mul_m : value_t<std::common_type_t<value_type_of_t<LhsExpr>,
+                                                  value_type_of_t<RhsExpr>>,
+                               value_of_v<LhsExpr> * value_of_v<RhsExpr>> {};
+
+template <class LhsExpr, class RhsExpr>
+struct lax_v1::sub_m : value_t<std::common_type_t<value_type_of_t<LhsExpr>,
+                                                  value_type_of_t<RhsExpr>>,
+                               value_of_v<LhsExpr> - value_of_v<RhsExpr>> {};
+
+template <class Expr> struct lax_v1::neg_m : auto_t<-value_of_v<Expr>> {};

provides/include/lax_v1/arithmetic_synopsis.hpp

@@ -0,0 +1,13 @@
+#pragma once
+
+namespace lax_v1 {
+
+template <class LhsExpr, class RhsExpr> struct add_m;
+template <class LhsExpr, class RhsExpr> struct div_m;
+template <class LhsExpr, class RhsExpr> struct mod_m;
+template <class LhsExpr, class RhsExpr> struct mul_m;
+template <class LhsExpr, class RhsExpr> struct sub_m;
+
+template <class Expr> struct neg_m;
+
+} // namespace lax_v1