From a8bec66b05eece7b8a39102fb1b0ba8f778eb9fe Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Thu, 19 Feb 2015 13:45:07 +0100 Subject: 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` --- src/list/detail/fold_variadic.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/list/detail/fold_variadic.h') diff --git a/src/list/detail/fold_variadic.h b/src/list/detail/fold_variadic.h index e02b604..2b4fdd8 100644 --- a/src/list/detail/fold_variadic.h +++ b/src/list/detail/fold_variadic.h @@ -21,10 +21,10 @@ struct fold_variadic { template < template class Function, - typename Head + typename Last > -struct fold_variadic { - typedef Function type; +struct fold_variadic { + typedef Function type; }; } -- cgit v1.2.3