From 02c6e34f9859047efe702cf5b866702f7b02d878 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sun, 18 Jan 2015 19:58:35 +0100
Subject: Implemented `Map` in terms of `Fold` * as its name implies this
 _function_ applies a given _function_ to each element of a _Cons_ structure *
 added appropriate test case

---
 src/list/operation/basic.h       |  5 +++--
 src/list/operation/higher/misc.h | 29 +++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 2 deletions(-)
 create mode 100644 src/list/operation/higher/misc.h

(limited to 'src')

diff --git a/src/list/operation/basic.h b/src/list/operation/basic.h
index ff0a4d7..364a542 100644
--- a/src/list/operation/basic.h
+++ b/src/list/operation/basic.h
@@ -11,14 +11,15 @@ class Length {
 	private:
 		template <
 			typename,
-			typename Current
+			typename Previous
 		>
 		struct Count {
-			typedef Add<Size<1>, Current> type;
+			typedef Add<Size<1>, Previous> type;
 		};
 
 	public:
 		typedef typename Fold<Count, Size<0>, Cons>::type type;
+
 };
 
 template <
diff --git a/src/list/operation/higher/misc.h b/src/list/operation/higher/misc.h
new file mode 100644
index 0000000..708265a
--- /dev/null
+++ b/src/list/operation/higher/misc.h
@@ -0,0 +1,29 @@
+#ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_
+#define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_
+
+#include "fold.h"
+
+namespace tav {
+
+template <
+	template<typename> class Function,
+	typename                 List
+>
+class Map {
+	private:
+		template <
+			typename Current,
+			typename Previous
+		>
+		struct FunctionWrapper {
+			typedef Cons<Function<Current>, Previous> type;
+		};
+
+	public:
+		typedef typename Fold<FunctionWrapper, void, List>::type type;
+
+};
+
+}
+
+#endif  // TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_
-- 
cgit v1.2.3