diff options
author | Adrian Kummerlaender | 2015-02-19 13:45:07 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-19 13:45:07 +0100 |
commit | a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe (patch) | |
tree | c1a6c4b1c6cba5ba1d87499a220f76eab59673c3 /src/list/operation/higher | |
parent | 9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95 (diff) | |
download | TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar.gz TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar.bz2 TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar.lz TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar.xz TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.tar.zst TypeAsValue-a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe.zip |
Reimplemented `Find` in terms of `ListIndex`
* `ListIndex` already implements the necessary partial template specializations for finding elements matching a predicate
* reimplemented `Cond` using `detail::find_variadic` as `Find` depends on `Apply` which in turn depends on `Cond`
** it is useful if core functionality such as the branched conditional `Cond` do not require higher order functionality such as `Find`
*** otherwise one can not use core functionality in the implementation of higher order functionality
* introduced `utility::predicate_guard` helper template
** checks a given value using a predicate and only forwards the value to the guarded function if this check is successful
** if check is unsuccessful it returns a surrogate value simmilar to `utility::predicate_assurance`
Diffstat (limited to 'src/list/operation/higher')
-rw-r--r-- | src/list/operation/higher/find.h | 38 |
1 files changed, 12 insertions, 26 deletions
diff --git a/src/list/operation/higher/find.h b/src/list/operation/higher/find.h index 48533b7..aeb0c2a 100644 --- a/src/list/operation/higher/find.h +++ b/src/list/operation/higher/find.h @@ -1,39 +1,25 @@ #ifndef TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_ #define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_FIND_H_ -#include "type.h" -#include "conditional/if.h" +#include "utility/predicate.h" +#include "function/apply.h" +#include "list/operation/nth.h" +#include "list_index.h" namespace tav { -namespace detail { - -template < - template<typename> class Predicate, - typename Current -> -struct Find { - typedef If< - Eval<Predicate<Head<Current>>>, - Head<Current>, - Eval<Find<Predicate, Tail<Current>>> - > type; -}; - -template < - template<typename> class Predicate -> -struct Find<Predicate, void> { - typedef Boolean<false> type; -}; - -} - template < template<typename> class Predicate, typename List > -using Find = Eval<detail::Find<Predicate, List>>; +using Find = typename utility::predicate_guard< + IsSize, + Apply<Nth, _0, List>::template function, + Boolean<false> +>::template check< + ListIndex<Predicate, List> +>; + } |