diff options
| author | Adrian Kummerlaender | 2015-01-20 17:50:45 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-20 17:50:45 +0100 |
| commit | d33f7d10f4ee6bb41a73e1a2981de5d602f64952 (patch) | |
| tree | 67b0066d7cfe2efaf45663efa0405d730cf72052 /src/list | |
| parent | 5f2fdb01bdb9892cb8cf5bf1b1787db36587e1d6 (diff) | |
| download | TypeAsValue-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.h | 9 |
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_ |