From 17a62b7627551243419d0a85c611eec7e6581e7b Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Mon, 19 Jan 2015 17:23:29 +0100
Subject: Moved `Odd` helper into math operation header * it may be useful for
 more than test cases

---
 src/operation/math.h | 6 ++++++
 test.cc              | 5 +----
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/operation/math.h b/src/operation/math.h
index fd6e031..b06eb35 100644
--- a/src/operation/math.h
+++ b/src/operation/math.h
@@ -41,6 +41,12 @@ using Divide = typename std::integral_constant<
 	X::value / Y::value
 >::type;
 
+template <typename X>
+using Even = Boolean<(X::value % 2 == 0)>;
+
+template <typename X>
+using Odd = Boolean<!Even<X>::value>;
+
 }
 
 #endif  // TYPEASVALUE_SRC_OPERATION_MATH_H_
diff --git a/test.cc b/test.cc
index 35126fb..aa98be9 100644
--- a/test.cc
+++ b/test.cc
@@ -14,9 +14,6 @@ class TypeAsValueTest : public ::testing::Test { };
 template <typename Element>
 using quadruple = tav::Multiply<tav::Int<4>, Element>;
 
-template <typename Element>
-using odd = tav::Boolean<(Element::value % 2 == 1)>;
-
 TEST_F(TypeAsValueTest, BasicMath) {
 	// (+ 1 2)
 	EXPECT_EQ(3,  ( tav::Add<tav::Int<1>, tav::Int<2>>::value ));
@@ -104,7 +101,7 @@ TEST_F(TypeAsValueTest, ListMap) {
 
 TEST_F(TypeAsValueTest, ListFilter) {
 	// (filter odd (list 1 2 3))
-	EXPECT_TRUE(( std::is_same<tav::List<tav::Int<1>, tav::Int<3>>::type, tav::Filter<odd, tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>::type>::value ));
+	EXPECT_TRUE(( std::is_same<tav::List<tav::Int<1>, tav::Int<3>>::type, tav::Filter<tav::Odd, tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>::type>::value ));
 }
 
 TEST_F(TypeAsValueTest, ListReverse) {
-- 
cgit v1.2.3