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

diff --git a/src/list/operation/higher/fold.h b/src/list/operation/higher/fold.h
index 3f39b40..38c3554 100644
--- a/src/list/operation/higher/fold.h
+++ b/src/list/operation/higher/fold.h
@@ -8,12 +8,12 @@ namespace detail {
 template <
 	template<typename, typename> class Function,
 	typename                           Initial,
-	typename                           Current
+	typename                           Pair
 >
 struct fold_pair {
 	typedef Function<
-		Head<Current>,
-		Eval<fold_pair<Function, Initial, Tail<Current>>>
+		Car<Pair>,
+		Eval<fold_pair<Function, Initial, Cdr<Pair>>>
 	> type;
 };
 
@@ -30,9 +30,9 @@ struct fold_pair<Function, Initial, void> {
 template <
 	template<typename, typename> class Function,
 	typename                           Initial,
-	typename                           Current
+	typename                           List
 >
-using Fold = Eval<detail::fold_pair<Function, Initial, Current>>;
+using Fold = Eval<detail::fold_pair<Function, Initial, List>>;
 
 }