diff options
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/detail/fold_variadic.h')
-rw-r--r-- | src/list/detail/fold_variadic.h | 6 |
1 files changed, 3 insertions, 3 deletions
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 <typename, typename> class Function, - typename Head + typename Last > -struct fold_variadic<Function, Head> { - typedef Function<Head, void> type; +struct fold_variadic<Function, Last> { + typedef Function<Last, void> type; }; } |