Added higher order list query `None`

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_