Completed basic math operators and fixed their result type

* the result type now depends on the `decltype` of the performed operation

1 files changed, 9 insertions, 0 deletions

diff --git a/src/type.h b/src/type.h
index 1149520..304bff4 100644
--- a/src/type.h
+++ b/src/type.h
@@ -20,6 +20,15 @@ using equal_type = typename std::integral_constant<
 	std::is_same<typename X::value_type, typename Y::value_type>::value
 >::type;
 
+template <
+	typename X,
+	typename Y
+>
+using equal_value = typename std::integral_constant<
+	bool,
+	X::value == Y::value
+>::type;
+
 }
 
 #endif  // TYPEASVALUE_SRC_TYPE_H_