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

1 files changed, 5 insertions, 7 deletions

diff --git a/src/list/operation/higher/query.h b/src/list/operation/higher/query.h
index 1d00267..c6c73f4 100644
--- a/src/list/operation/higher/query.h
+++ b/src/list/operation/higher/query.h
@@ -15,7 +15,7 @@ template <
 using Any = Fold<
 	Or,
 	Boolean<false>,
-	Eval<Map<Predicate, List>>
+	Map<Predicate, List>
 >;
 
 template <
@@ -25,16 +25,14 @@ template <
 using All = Fold<
 	And,
 	Boolean<true>,
-	Eval<Map<Predicate, List>>
+	Map<Predicate, List>
 >;
 
 template <
 	template<typename> class Predicate,
 	typename                 List
 >
-using None = Not<
-	Eval<Any<Predicate, List>>
->;
+using None = Not<Any<Predicate, List>>;
 
 template <
 	template<typename> class Predicate,
@@ -42,8 +40,8 @@ template <
 >
 using Count = Fold<
 	Add,
-	tav::Size<0>,
-	Eval<Map<Predicate, List>>
+	Size<0>,
+	Map<Predicate, List>
 >;
 
 }