Simplified `List`, `Length` and `Reverse` implementations

* continuation of 8e49cc6
* list constructor was generalized to a _variadic fold_

1 files changed, 3 insertions, 11 deletions

diff --git a/src/list/operation/basic.h b/src/list/operation/basic.h
index a299938..d0f6212 100644
--- a/src/list/operation/basic.h
+++ b/src/list/operation/basic.h
@@ -8,21 +8,13 @@ namespace tav {
 
 namespace detail {
 
-template <typename List>
-class Length {
-	private:
-		template <typename, typename Accumulated>
-		using accumulate = Add<Size<1>, Accumulated>;
-
-	public:
-		typedef tav::Fold<accumulate, Size<0>, List> type;
-
-};
+template <typename, typename Accumulated>
+using length_accumulate = Add<Size<1>, Accumulated>;
 
 }
 
 template <typename List>
-using Length = Eval<detail::Length<List>>;
+using Length = Fold<detail::length_accumulate, Size<0>, List>;
 
 }