Expressed `Take` and `Drop` in terms of new `Section` operation

* unifies the common functionality between `Take` and `Drop`
* renamed `basic.h` to `length.h` as it only contains the `Length` implementation

1 files changed, 8 insertions, 33 deletions

diff --git a/src/list/operation/drop.h b/src/list/operation/drop.h
index c7745d7..aef88d3 100644
--- a/src/list/operation/drop.h
+++ b/src/list/operation/drop.h
@@ -1,45 +1,20 @@
 #ifndef TYPEASVALUE_SRC_LIST_OPERATION_DROP_H_
 #define TYPEASVALUE_SRC_LIST_OPERATION_DROP_H_
 
-#include "operation/math.h"
+#include "length.h"
+#include "section.h"
 
 namespace tav {
 
-namespace detail {
-
-template <
-	typename Count,
-	typename Current
->
-struct Drop {
-	typedef Eval<Drop<
-		Substract<Count, Size<1>>,
-		Tail<Current>
-	>> type;
-};
-
-template <typename Current>
-struct Drop<Size<0>, Current> {
-	typedef Current type;
-};
-
-template <typename Count>
-struct Drop<Count, void> {
-	typedef void type;
-};
-
-template <>
-struct Drop<Size<0>, void> {
-	typedef void type;
-};
-
-}
-
 template <
 	typename Count,
-	typename Current
+	typename List
 >
-using Drop = Eval<detail::Drop<Count, Current>>;
+using Drop = Section<
+	Count,
+	Substract<Length<List>, Size<1>>,
+	List
+>;
 
 }