aboutsummaryrefslogtreecommitdiff
path: root/src/conditional/cond.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/conditional/cond.h')
-rw-r--r--src/conditional/cond.h14
1 files changed, 4 insertions, 10 deletions
diff --git a/src/conditional/cond.h b/src/conditional/cond.h
index eeb31b6..8a34f79 100644
--- a/src/conditional/cond.h
+++ b/src/conditional/cond.h
@@ -1,10 +1,7 @@
#ifndef TYPEASVALUE_SRC_CONDITIONAL_COND_H_
#define TYPEASVALUE_SRC_CONDITIONAL_COND_H_
-#include <type_traits>
-
-#include "list/list.h"
-#include "list/operation/higher/find.h"
+#include "list/detail/find_variadic.h"
namespace tav {
@@ -16,12 +13,9 @@ using cond_predicate = IsTrue<Car<Pair>>;
}
template <typename... Branches>
-using Cond = Cdr<
- Find<
- detail::cond_predicate,
- List<Branches...>
- >
->;
+using Cond = Cdr<Eval<
+ detail::find_variadic<detail::cond_predicate, Branches...>
+>>;
}