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

1 files changed, 11 insertions, 5 deletions

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>;
 
 }