From a59df7e8c4fd1f88bc1078ebcfde944502b0c309 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sun, 15 Feb 2015 22:37:06 +0100
Subject: Simplified `Cond`, `Cons` and `Map` implementations * continuation of
 8e49cc6f8f

---
 src/conditional/cond.h | 24 ++++++++----------------
 1 file changed, 8 insertions(+), 16 deletions(-)

(limited to 'src/conditional/cond.h')

diff --git a/src/conditional/cond.h b/src/conditional/cond.h
index f6b7965..eeb31b6 100644
--- a/src/conditional/cond.h
+++ b/src/conditional/cond.h
@@ -10,26 +10,18 @@ namespace tav {
 
 namespace detail {
 
-template <typename... Branches>
-class Cond {
-	private:
-		template <typename Pair>
-		using predicate = IsTrue<tav::Car<Pair>>;
-
-	public:
-		typedef tav::Cdr<
-			tav::Find<
-				predicate,
-				tav::List<Branches...>
-			>
-		> type;
-
-};
+template <typename Pair>
+using cond_predicate = IsTrue<Car<Pair>>;
 
 }
 
 template <typename... Branches>
-using Cond = Eval<detail::Cond<Branches...>>;
+using Cond = Cdr<
+	Find<
+		detail::cond_predicate,
+		List<Branches...>
+	>
+>;
 
 }
 
-- 
cgit v1.2.3