aboutsummaryrefslogtreecommitdiff
path: root/src/list
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-01-19 17:09:39 +0100
committerAdrian Kummerlaender2015-01-19 17:09:39 +0100
commit3cac56267edfbfd26e203ad674b9b8e74e44b14e (patch)
tree3ddc31c53d2976132f566b7fd382e9a924458bf7 /src/list
parent3c431f8a8eab25cdb1237f6a4e3ef6ac3f2b7479 (diff)
downloadTypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.gz
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.bz2
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.lz
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.xz
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.zst
TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.zip
Implemented `Filter` in terms of `Fold`
* as its name implies this _function_ only returns elements which evaluate to _true_ when passed to a given _function_ ** this marks the moment where _TypeAsValue_ supports something _ConstList_ does not, i.e. primary goal is achieved *** namely returning different types depending on the actual _values_ of a _Cons_ structure * added appropriate test case
Diffstat (limited to 'src/list')
-rw-r--r--src/list/operation/basic.h4
-rw-r--r--src/list/operation/higher/misc.h32
2 files changed, 30 insertions, 6 deletions
diff --git a/src/list/operation/basic.h b/src/list/operation/basic.h
index 364a542..d80b347 100644
--- a/src/list/operation/basic.h
+++ b/src/list/operation/basic.h
@@ -13,12 +13,12 @@ class Length {
typename,
typename Previous
>
- struct Count {
+ struct count {
typedef Add<Size<1>, Previous> type;
};
public:
- typedef typename Fold<Count, Size<0>, Cons>::type type;
+ typedef typename Fold<count, Size<0>, Cons>::type type;
};
diff --git a/src/list/operation/higher/misc.h b/src/list/operation/higher/misc.h
index 280c0d5..95a5f50 100644
--- a/src/list/operation/higher/misc.h
+++ b/src/list/operation/higher/misc.h
@@ -3,6 +3,7 @@
#include "fold.h"
#include "list/operation/concatenate.h"
+#include "conditional/if.h"
namespace tav {
@@ -16,12 +17,35 @@ class Map {
typename Current,
typename Previous
>
- struct FunctionWrapper {
+ struct function_wrapper {
typedef Cons<Function<Current>, Previous> type;
};
public:
- typedef typename Fold<FunctionWrapper, void, List>::type type;
+ typedef typename Fold<function_wrapper, void, List>::type type;
+
+};
+
+template <
+ template<typename> class Function,
+ typename List
+>
+class Filter {
+ private:
+ template <
+ typename Current,
+ typename Previous
+ >
+ struct function_wrapper {
+ typedef If<
+ Function<Current>::type::value,
+ Cons<Current, Previous>,
+ Previous
+ > type;
+ };
+
+ public:
+ typedef typename Fold<function_wrapper, void, List>::type type;
};
@@ -32,7 +56,7 @@ class Reverse {
typename Current,
typename Previous
>
- struct ReversedConcatenate {
+ struct reversed_concatenate {
typedef typename Concatenate<
Previous,
Cons<Current, void>
@@ -40,7 +64,7 @@ class Reverse {
};
public:
- typedef typename Fold<ReversedConcatenate, void, List>::type type;
+ typedef typename Fold<reversed_concatenate, void, List>::type type;
};