21namespace seqan3::detail
25template <
typename type_list_t>
26struct type_list_expander;
49template <
template <
typename ...>
typename type_list_t,
typename ...args_t>
50struct type_list_expander<type_list_t<args_t...>>
62 template <
typename fn_t>
64 requires std::invocable<fn_t, std::type_identity<args_t>...>
106template <
typename unary_predicate_t,
typename ...pack_t>
108 requires (std::predicate<unary_predicate_t, pack_t> && ...)
110constexpr bool all_of(unary_predicate_t && fn, pack_t && ...args)
112 return (fn(std::forward<pack_t>(args)) && ...);
149template <
typename type_list_t,
typename unary_predicate_t>
150[[nodiscard]]
constexpr bool all_of(unary_predicate_t && fn)
152 requires template_specialisation_of<type_list_t, seqan3::type_list>
155 return type_list_expander<type_list_t>::invoke_on_type_identities([&] (
auto && ...type_identities)
192template <
typename unary_function_t,
typename ...pack_t>
194 requires (std::invocable<unary_function_t, pack_t> && ...)
196constexpr void for_each(unary_function_t && fn, pack_t && ...args)
198 (fn(std::forward<pack_t>(args)), ...);
235template <
typename type_list_t,
typename unary_function_t>
237 requires template_specialisation_of<type_list_t, seqan3::type_list>
239constexpr void for_each(unary_function_t && fn)
241 type_list_expander<type_list_t>::invoke_on_type_identities([&] (
auto && ...type_identities)
Provides seqan3::type_list.
Provides C++20 additions to the type_traits header.