Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

simplied gather signatures #116

Merged
merged 4 commits into from
Jan 13, 2025
Merged

simplied gather signatures #116

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
c17aeb4
simplied gather signatures
dietmarkuehl Jan 13, 2025
4ab7807
clang-format
dietmarkuehl Jan 13, 2025
acd3434
revert CMakeList.txt change
dietmarkuehl Jan 13, 2025
9c5ac2e
fixed formatting issue
dietmarkuehl Jan 13, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 3 additions & 4 deletions include/beman/execution26/detail/gather_signatures.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ struct same_tag<Tag, R(A...)> {
};
template <typename Tag>
struct bound_tag {
using type = Tag;
template <typename T>
using predicate = ::beman::execution26::detail::same_tag<Tag, T>;
};
Expand Down Expand Up @@ -69,14 +70,12 @@ template <typename Tag,
template <typename...> class Variant>
requires requires {
typename ::beman::execution26::detail::gather_signatures_helper<
::beman::execution26::detail::meta::
filter<::beman::execution26::detail::bound_tag<Tag>::template predicate, signatures>,
::beman::execution26::detail::meta::filter_tag<::beman::execution26::detail::same_tag, Tag, signatures>,
Tuple,
Variant>::type;
}
using gather_signatures = ::beman::execution26::detail::gather_signatures_helper<
::beman::execution26::detail::meta::filter<::beman::execution26::detail::bound_tag<Tag>::template predicate,
signatures>,
::beman::execution26::detail::meta::filter_tag<::beman::execution26::detail::same_tag, Tag, signatures>,
Tuple,
Variant>::type;
} // namespace beman::execution26::detail
Expand Down
24 changes: 23 additions & 1 deletion include/beman/execution26/detail/meta_filter.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,22 +13,44 @@ namespace beman::execution26::detail::meta::detail {
template <template <typename> class, typename>
struct filter;

template <template <typename, typename> class, typename, typename>
struct filter_tag;

template <template <typename> class Predicate, template <typename...> class List>
struct filter<Predicate, List<>> {
using type = List<>;
};

template <template <typename, typename> class Predicate, typename Tag, template <typename...> class List>
struct filter_tag<Predicate, Tag, List<>> {
using type = List<>;
};

template <template <typename> class Predicate, template <typename...> class List, typename H, typename... T>
struct filter<Predicate, List<H, T...>> {
using tail = typename beman::execution26::detail::meta::detail::filter<Predicate, List<T...>>::type;
using type = ::std::conditional_t<Predicate<H>::value, ::beman::execution26::detail::meta::prepend<H, tail>, tail>;
};

template <template <typename, typename> class Predicate,
typename Tag,
template <typename...> class List,
typename H,
typename... T>
struct filter_tag<Predicate, Tag, List<H, T...>> {
using tail = typename beman::execution26::detail::meta::detail::filter_tag<Predicate, Tag, List<T...>>::type;
using type =
::std::conditional_t<Predicate<Tag, H>::value, ::beman::execution26::detail::meta::prepend<H, tail>, tail>;
};
} // namespace beman::execution26::detail::meta::detail

namespace beman::execution26::detail::meta {
template <template <typename> class Predicate, typename List>
using filter = ::beman::execution26::detail::meta::detail::filter<Predicate, List>::type;
}

template <template <typename, typename> class Predicate, typename Tag, typename List>
using filter_tag = ::beman::execution26::detail::meta::detail::filter_tag<Predicate, Tag, List>::type;
} // namespace beman::execution26::detail::meta

// ----------------------------------------------------------------------------

Expand Down
Loading