coffee/continuable
1
0
Fork 0
mirror of https://github.com/Naios/continuable.git synced 2025-12-06 16:56:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

More conversion work

Browse Source
This commit is contained in:
Denis Blank 2018-02-01 22:45:20 +01:00
parent 910af18f1e
commit 62823f8f56
1 changed files with 10 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
include/continuable/detail/pack-traversal.hpp
View File

@ -200,10 +200,10 @@ constexpr auto apply_spread_impl(std::true_type, C&& callable, T&&... args)
/// Use the linear instantiation for variadic packs which don't /// Use the linear instantiation for variadic packs which don't
/// contain spread types. /// contain spread types.
template <typename C, typename... T> template <typename C, typename... T>
constexpr auto apply_spread_impl(std::false_type, C&& callable, T&&... args) -> constexpr auto apply_spread_impl(std::false_type, C&& callable, T&&... args)
typename invoke_result<C, T...>::type { -> decltype(std::forward<C>(callable)(std::forward<T>(args)...)) {
return hpx::util::invoke(std::forward<C>(callable), std::forward<T>(args)...); return std::forward<C>(callable)(std::forward<T>(args)...);
} } // namespace spreading
/// Deduces to a true_type if any of the given types marks /// Deduces to a true_type if any of the given types marks
/// the underlying type to be spread into the current context. /// the underlying type to be spread into the current context.
@ -270,7 +270,7 @@ constexpr auto tupelize_or_void(T&&... args)
-> decltype(voidify_empty_tuple(tupelize(std::forward<T>(args)...))) { -> decltype(voidify_empty_tuple(tupelize(std::forward<T>(args)...))) {
return voidify_empty_tuple(tupelize(std::forward<T>(args)...)); return voidify_empty_tuple(tupelize(std::forward<T>(args)...));
} }
} // end namespace spreading } // namespace spreading
/// Just traverses the pack with the given callable object, /// Just traverses the pack with the given callable object,
/// no result is returned or preserved. /// no result is returned or preserved.
@ -457,7 +457,7 @@ auto remap_container(container_mapping_tag<false, false>, M&& mapper,
// We try to reserve the original size from the source // We try to reserve the original size from the source
// container to the destination container. // container to the destination container.
traits::detail::reserve_if_reservable(remapped, container.size()); // TODO traits::detail::reserve_if_reservable(remapped, container.size());
// Perform the actual value remapping from the source to // Perform the actual value remapping from the source to
// the destination. // the destination.
@ -553,8 +553,8 @@ struct tuple_like_remapper<strategy_traverse_tag, M, Base<OldArgs...>,
M mapper_; M mapper_;
template <typename... Args> template <typename... Args>
auto operator()(Args&&... args) -> auto operator()(Args&&... args)
typename always_void<typename invoke_result<M, OldArgs>::type...>::type { -> std::void_t<typename invoke_result<M, OldArgs>::type...> {
int dummy[] = {0, ((void)mapper_(std::forward<Args>(args)), 0)...}; int dummy[] = {0, ((void)mapper_(std::forward<Args>(args)), 0)...};
(void)dummy; (void)dummy;
} }
@ -795,10 +795,7 @@ public:
/// \copybrief try_traverse /// \copybrief try_traverse
template <typename T> template <typename T>
auto init_traverse(strategy_remap_tag, T&& element) auto init_traverse(strategy_remap_tag, T&& element) {
-> decltype(spreading::unpack_or_void(
std::declval<mapping_helper>().try_traverse(strategy_remap_tag{},
std::declval<T>()))) {
return spreading::unpack_or_void( return spreading::unpack_or_void(
try_traverse(strategy_remap_tag{}, std::forward<T>(element))); try_traverse(strategy_remap_tag{}, std::forward<T>(element)));
} }
@ -811,14 +808,7 @@ public:
/// and returns a tuple containing the remapped content. /// and returns a tuple containing the remapped content.
template <typename First, typename Second, typename... T> template <typename First, typename Second, typename... T>
auto init_traverse(strategy_remap_tag strategy, First&& first, auto init_traverse(strategy_remap_tag strategy, First&& first,
Second&& second, T&&... rest) Second&& second, T&&... rest) {
-> decltype(spreading::tupelize_or_void(
std::declval<mapping_helper>().try_traverse(
strategy, std::forward<First>(first)),
std::declval<mapping_helper>().try_traverse(
strategy, std::forward<Second>(second)),
std::declval<mapping_helper>().try_traverse(
strategy, std::forward<T>(rest))...)) {
return spreading::tupelize_or_void( return spreading::tupelize_or_void(
try_traverse(strategy, std::forward<First>(first)), try_traverse(strategy, std::forward<First>(first)),
try_traverse(strategy, std::forward<Second>(second)), try_traverse(strategy, std::forward<Second>(second)),