22 namespace seqan3::detail
26 template <
typename type_list_t>
27 struct type_list_expander;
50 template <
template <
typename ...>
typename type_list_t,
typename ...args_t>
51 struct type_list_expander<type_list_t<args_t...>>
63 template <
typename fn_t>
65 requires std::invocable<fn_t, std::type_identity<args_t>...>
67 static constexpr std::invoke_result_t<fn_t, std::type_identity<args_t>...> invoke_on_type_identities(fn_t && fn)
111 template <
typename type_list_t,
typename unary_predicate_t>
112 [[nodiscard]] constexpr
bool all_of(unary_predicate_t && fn)
114 requires template_specialisation_of<type_list_t, seqan3::type_list>
117 return type_list_expander<type_list_t>::invoke_on_type_identities([&] (
auto && ...type_identities)
161 template <
typename type_list_t,
typename unary_function_t>
163 requires template_specialisation_of<type_list_t, seqan3::type_list>
165 constexpr
void for_each(unary_function_t && fn)
167 type_list_expander<type_list_t>::invoke_on_type_identities([&] (
auto && ...type_identities)
The <concepts> header from C++20's standard library.
The identity transformation (a transformation_trait that returns the input).
Definition: type_traits:87
Provides seqan3::type_list.
Provides algorithms for meta programming, parameter packs and seqan3::type_list.
The <type_traits> header from C++20's standard library.