From 41b63eff7f76e6574ef238f821dad0212a619c2a Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sun, 22 Feb 2015 17:14:15 +0100
Subject: Improved `simulate` function of the Turing machine example *
 introduced `state::state_accessor` helper function and moved position logic
 into `updatePosition` * added `IsEqual` comparator and expressed other basic
 comparators in terms of itself

---
 src/type.h | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'src/type.h')

diff --git a/src/type.h b/src/type.h
index c2ad2d8..2537b70 100644
--- a/src/type.h
+++ b/src/type.h
@@ -24,10 +24,16 @@ template <
 	typename X,
 	typename Y
 >
-using IsEqualType = Eval<std::is_same<
+using IsEqual = Eval<std::is_same<X, Y>>;
+
+template <
+	typename X,
+	typename Y
+>
+using IsEqualType = IsEqual<
 	typename X::value_type,
 	typename Y::value_type
->>;
+>;
 
 template <
 	typename X,
@@ -36,13 +42,13 @@ template <
 using IsEqualValue = Boolean<X::value == Y::value>;
 
 template <typename X>
-using IsTrue = IsEqualValue<X, Boolean<true>>;
+using IsBoolean = IsEqual<typename X::value_type, bool>;
 
 template <typename X>
-using IsBoolean = Eval<std::is_same<typename X::value_type, bool>>;
+using IsTrue = IsEqualValue<X, Boolean<true>>;
 
 template <typename X>
-using IsSize = Eval<std::is_same<typename X::value_type, std::size_t>>;
+using IsSize = IsEqual<typename X::value_type, std::size_t>;
 
 }
 
-- 
cgit v1.2.3