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

Fix some remaining issues with calculating the signature hint from all or seq compositions

Browse Source
This commit is contained in:
Denis Blank 2018-02-27 17:18:52 +01:00
parent 6819c68bb2
commit 860ae778bc
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
include/continuable/detail/composition_all.hpp
View File

@ -209,14 +209,26 @@ constexpr auto flatten(T&& tuple) {
});
}
struct convert_to_hint {
template <typename... T>
constexpr auto operator()(T...) -> hints::signature_hint_tag<T...>;
};
constexpr auto deduce_from_pack(traits::identity<void>) {
return hints::signature_hint_tag<>{};
}
template <typename T>
constexpr auto deduce_from_pack(traits::identity<T>) {
return decltype(
traits::unpack(flatten(std::declval<T>()), convert_to_hint{})){};
}
template <typename Composition>
constexpr auto deduce_hint(Composition&& composition) {
auto deduced = flatten(
using deduced_t = decltype(
map_pack(all_hint_deducer{}, std::forward<Composition>(composition)));
return traits::unpack(std::move(deduced), [](auto... args) {
return hints::signature_hint_tag<decltype(args)...>{};
});
// We must guard deduced_t against to be void since this represents an
// empty signature hint.
return deduce_from_pack(traits::identity<deduced_t>{});
}
} // namespace all