Added basic value type alias and math operations

3 files changed, 75 insertions, 0 deletions

diff --git a/src/operation.h b/src/operation.h
new file mode 100644
index 0000000..c906b55
--- /dev/null
+++ b/src/operation.h
@@ -0,0 +1,36 @@
+#ifndef TYPEASVALUE_SRC_OPERATION_H_
+#define TYPEASVALUE_SRC_OPERATION_H_
+
+#include "type.h"
+
+namespace tav {
+
+template <
+	typename X,
+	typename Y
+>
+struct add {
+	static_assert(
+		equal_type<X, Y>::value,
+		"only values of the same type may be added"
+	);
+
+	typedef Int<X::value + Y::value> type;
+};
+
+template <
+	typename X,
+	typename Y
+>
+struct substract {
+	static_assert(
+		equal_type<X, Y>::value,
+		"only values of the same type may be substracted"
+	);
+
+	typedef Int<X::value - Y::value> type;
+};
+
+}
+
+#endif  // TYPEASVALUE_SRC_OPERATION_H_
diff --git a/src/type.h b/src/type.h
new file mode 100644
index 0000000..1149520
--- /dev/null
+++ b/src/type.h
@@ -0,0 +1,25 @@
+#ifndef TYPEASVALUE_SRC_TYPE_H_
+#define TYPEASVALUE_SRC_TYPE_H_
+
+#include <type_traits>
+
+namespace tav {
+
+template <int Value>
+using Int = typename std::integral_constant<int, Value>::type;
+
+template <bool Value>
+using Boolean = typename std::integral_constant<bool, Value>::type;
+
+template <
+	typename X,
+	typename Y
+>
+using equal_type = typename std::integral_constant<
+	bool,
+	std::is_same<typename X::value_type, typename Y::value_type>::value
+>::type;
+
+}
+
+#endif  // TYPEASVALUE_SRC_TYPE_H_
diff --git a/test.cc b/test.cc
index f70f5ac..7f97762 100644
--- a/test.cc
+++ b/test.cc
@@ -1,5 +1,19 @@
 #include "gtest/gtest.h"
 
+#include "type.h"
+#include "operation.h"
+
+class TypeAsValueTest : public ::testing::Test { };
+
+TEST_F(TypeAsValueTest, Value) {
+	ASSERT_TRUE(( std::is_same<int, tav::Int<1>::value_type>::value ));
+}
+
+TEST_F(TypeAsValueTest, BasicMath) {
+	EXPECT_EQ(3, ( tav::add<tav::Int<1>, tav::Int<2>>::type::value ));
+	EXPECT_EQ(4, ( tav::substract<tav::Int<10>, tav::Int<6>>::type::value ));
+}
+
 int main(int argc, char **argv) {
 	testing::InitGoogleTest(&argc, argv);