Moved class-based implementations into `detail` namespace

* while class templates enable e.g. hiding implementation details they also require evaluation via `Eval`
** this clutters up the actual logic and is now hidden behind aliae that perform the evaluation

2 files changed, 15 insertions, 8 deletions

diff --git a/src/conditional/cond.h b/src/conditional/cond.h
index 2d6a415..f6b7965 100644
--- a/src/conditional/cond.h
+++ b/src/conditional/cond.h
@@ -8,22 +8,29 @@
 
 namespace tav {
 
+namespace detail {
+
 template <typename... Branches>
 class Cond {
 	private:
 		template <typename Pair>
-		using predicate = IsTrue<Eval<Eval<Car<Pair>>>>;
+		using predicate = IsTrue<tav::Car<Pair>>;
 
 	public:
-		typedef Eval<Cdr<
-			Eval<Find<
+		typedef tav::Cdr<
+			tav::Find<
 				predicate,
-				Eval<List<Branches...>>
-			>>
-		>> type;
+				tav::List<Branches...>
+			>
+		> type;
 
 };
 
 }
 
+template <typename... Branches>
+using Cond = Eval<detail::Cond<Branches...>>;
+
+}
+
 #endif  // TYPEASVALUE_SRC_CONDITIONAL_COND_H_
diff --git a/src/conditional/if.h b/src/conditional/if.h
index b99f399..9be1a50 100644
--- a/src/conditional/if.h
+++ b/src/conditional/if.h
@@ -10,11 +10,11 @@ template <
 	typename TrueBranch,
 	typename FalseBranch
 >
-using If = std::conditional<
+using If = Eval<std::conditional<
 	Condition::value,
 	TrueBranch,
 	FalseBranch
->;
+>>;
 
 }