21 namespace seqan3::detail
25 template <
typename type_list_t>
26 struct type_list_expander;
49 template <
template <
typename ...>
typename type_list_t,
typename ...args_t>
50 struct type_list_expander<type_list_t<args_t...>>
62 template <
typename fn_t>
64 requires std::invocable<fn_t, std::type_identity<args_t>...>
106 template <
typename unary_predicate_t,
typename ...pack_t>
108 requires (std::predicate<unary_predicate_t, pack_t> && ...)
110 constexpr
bool all_of(unary_predicate_t && fn, pack_t && ...args)
112 return (fn(std::forward<pack_t>(args)) && ...);
149 template <
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)
192 template <
typename unary_function_t,
typename ...pack_t>
194 requires (std::invocable<unary_function_t, pack_t> && ...)
196 constexpr
void for_each(unary_function_t && fn, pack_t && ...args)
198 (fn(std::forward<pack_t>(args)), ...);
235 template <
typename type_list_t,
typename unary_function_t>
237 requires template_specialisation_of<type_list_t, seqan3::type_list>
239 constexpr
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.