aboutsummaryrefslogtreecommitdiff
path: root/src/list
diff options
context:
space:
mode:
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_