aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-02-05 14:07:32 +0100
committerAdrian Kummerlaender2015-02-05 14:07:32 +0100
commit868f7d2c46302f3f993ff8f7943823243a5d1a6d (patch)
tree681688f7718683f49482719c8469ef933a06da4a /src
parentd546e0d1172ee138971ced523a97121b495a7ba1 (diff)
downloadTypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar.gz
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar.bz2
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar.lz
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar.xz
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.tar.zst
TypeAsValue-868f7d2c46302f3f993ff8f7943823243a5d1a6d.zip
Reimplemented `Contains` and `Delete` in terms of `Apply`
* both depict the very usecase partial function application via `Apply` is suited for
Diffstat (limited to 'src')
-rw-r--r--src/list/operation/contains.h14
-rw-r--r--src/list/operation/delete.h14
2 files changed, 10 insertions, 18 deletions
diff --git a/src/list/operation/contains.h b/src/list/operation/contains.h
index d3f95fa..51d7d9f 100644
--- a/src/list/operation/contains.h
+++ b/src/list/operation/contains.h
@@ -3,6 +3,7 @@
#include "type.h"
#include "higher/query.h"
+#include "function/apply.h"
namespace tav {
@@ -10,15 +11,10 @@ template <
typename Element,
typename List
>
-class Contains {
- private:
- template <typename Current>
- using comparator = EqualValue<Current, Element>;
-
- public:
- typedef typename Any<comparator, List>::type type;
-
-};
+using Contains = Any<
+ Apply<EqualValue, tav::_0, Element>::template single_type,
+ List
+>;
}
diff --git a/src/list/operation/delete.h b/src/list/operation/delete.h
index ad0a4cf..2ff674c 100644
--- a/src/list/operation/delete.h
+++ b/src/list/operation/delete.h
@@ -3,6 +3,7 @@
#include "type.h"
#include "higher/filter.h"
+#include "function/apply.h"
namespace tav {
@@ -10,15 +11,10 @@ template <
typename Element,
typename List
>
-class Delete {
- private:
- template <typename Current>
- using comparator = EqualValue<Current, Element>;
-
- public:
- typedef typename Remove<comparator, List>::type type;
-
-};
+using Delete = Remove<
+ Apply<EqualValue, tav::_0, Element>::template single_type,
+ List
+>;
}