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, 6 insertions, 6 deletions

diff --git a/example/prime/prime.cc b/example/prime/prime.cc
index b826a72..cd119d8 100644
--- a/example/prime/prime.cc
+++ b/example/prime/prime.cc
@@ -5,13 +5,13 @@
 #include "function/apply.h"
 
 #include "list/list.h"
-#include "list/operation/higher/filter.h"
 #include "list/generator/iota.h"
+#include "list/operation/higher/remove.h"
 
 #include "runtime/list/for_each.h"
 
 // (define candidates (iota 1000 2 1))
-using candidates = tav::Eval<tav::Iota<tav::Size<1000>, tav::Int<2>, tav::Int<1>>>;
+using candidates = tav::Iota<tav::Size<1000>, tav::Int<2>, tav::Int<1>>;
 
 // (define (isMultipleOf candidate base) (= (modulo candidate base) 0))
 template <
@@ -42,15 +42,15 @@ using removeMultiplesOf = tav::Remove<
 //                                                                  (car candidates)))))))
 template <typename Candidates>
 struct Sieve {
-	typedef tav::Eval<tav::Cons<
+	typedef tav::Cons<
 		tav::Head<Candidates>,
 		tav::Eval<Sieve<
-			tav::Eval<removeMultiplesOf<
+			removeMultiplesOf<
 				tav::Tail<Candidates>,
 				tav::Head<Candidates>
-			>>
+			>
 		>>
-	>> type;
+	> type;
 };
 
 template <>