aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/list/operation/higher/misc.h20
-rw-r--r--src/list/operation/reverse.h30
-rw-r--r--test.cc1
3 files changed, 31 insertions, 20 deletions
diff --git a/src/list/operation/higher/misc.h b/src/list/operation/higher/misc.h
index 95a5f50..1eacaaa 100644
--- a/src/list/operation/higher/misc.h
+++ b/src/list/operation/higher/misc.h
@@ -2,7 +2,6 @@
#define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_
#include "fold.h"
-#include "list/operation/concatenate.h"
#include "conditional/if.h"
namespace tav {
@@ -49,25 +48,6 @@ class Filter {
};
-template <typename List>
-class Reverse {
- private:
- template <
- typename Current,
- typename Previous
- >
- struct reversed_concatenate {
- typedef typename Concatenate<
- Previous,
- Cons<Current, void>
- >::type type;
- };
-
- public:
- typedef typename Fold<reversed_concatenate, void, List>::type type;
-
-};
-
}
#endif // TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_MISC_H_
diff --git a/src/list/operation/reverse.h b/src/list/operation/reverse.h
new file mode 100644
index 0000000..7a0305c
--- /dev/null
+++ b/src/list/operation/reverse.h
@@ -0,0 +1,30 @@
+#ifndef TYPEASVALUE_SRC_LIST_OPERATION_REVERSE_H_
+#define TYPEASVALUE_SRC_LIST_OPERATION_REVERSE_H_
+
+#include "concatenate.h"
+#include "higher/fold.h"
+
+namespace tav {
+
+template <typename List>
+class Reverse {
+ private:
+ template <
+ typename Current,
+ typename Previous
+ >
+ struct reversed_concatenate {
+ typedef typename Concatenate<
+ Previous,
+ Cons<Current, void>
+ >::type type;
+ };
+
+ public:
+ typedef typename Fold<reversed_concatenate, void, List>::type type;
+
+};
+
+}
+
+#endif // TYPEASVALUE_SRC_LIST_OPERATION_REVERSE_H_
diff --git a/test.cc b/test.cc
index f64e385..49b95cb 100644
--- a/test.cc
+++ b/test.cc
@@ -5,6 +5,7 @@
#include "list/cons.h"
#include "list/list.h"
+#include "list/operation/reverse.h"
#include "list/operation/higher/fold.h"
#include "list/operation/higher/misc.h"
#include "list/operation/higher/query.h"