aboutsummaryrefslogtreecommitdiff
path: root/src/list
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-01-20 17:50:45 +0100
committerAdrian Kummerlaender2015-01-20 17:50:45 +0100
commitd33f7d10f4ee6bb41a73e1a2981de5d602f64952 (patch)
tree67b0066d7cfe2efaf45663efa0405d730cf72052 /src/list
parent5f2fdb01bdb9892cb8cf5bf1b1787db36587e1d6 (diff)
downloadTypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.gz
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.bz2
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.lz
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.xz
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.zst
TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.zip
Added higher order list query `None`
Diffstat (limited to 'src/list')
-rw-r--r--src/list/operation/higher/query.h9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/list/operation/higher/query.h b/src/list/operation/higher/query.h
index 56bb203..34d05cb 100644
--- a/src/list/operation/higher/query.h
+++ b/src/list/operation/higher/query.h
@@ -1,6 +1,7 @@
#ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_QUERY_H_
#define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_QUERY_H_
+#include "fold.h"
#include "operation/logic.h"
namespace tav {
@@ -25,6 +26,14 @@ using All = Fold<
typename Map<Function, List>::type
>;
+template <
+ template<typename> class Function,
+ typename List
+>
+using None = Not<
+ typename Any<Function, List>::type
+>;
+
}
#endif // TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_QUERY_H_