17namespace seqan3::detail
25template <
typename source_type,
template <
typename...>
typename target_template>
26struct transfer_template_args_onto
54template <
template <
typename...>
typename source_template,
55 template <
typename...>
56 typename target_template,
57 typename... source_arg_types>
58 requires requires () {
typename target_template<source_arg_types...>; }
59struct transfer_template_args_onto<source_template<source_arg_types...>, target_template>
62 using type = target_template<source_arg_types...>;
69template <
typename source_type,
template <
typename...>
typename target_template>
70using transfer_template_args_onto_t =
typename transfer_template_args_onto<source_type, target_template>::type;
77template <
typename source_type,
template <
auto...>
typename target_template>
78struct transfer_template_vargs_onto
99template <
template <
auto...>
typename source_template,
101 typename target_template,
102 auto... source_varg_types>
103 requires requires () {
typename target_template<source_varg_types...>; }
104struct transfer_template_vargs_onto<source_template<source_varg_types...>, target_template>
107 using type = target_template<source_varg_types...>;
114template <
typename source_type,
template <
auto...>
typename target_template>
115using transfer_template_vargs_onto_t =
typename transfer_template_vargs_onto<source_type, target_template>::type;
133template <
typename source_t,
template <
typename...>
typename target_template>
138template <
typename source_t,
template <
typename...>
typename target_template>
140 !std::same_as<transformation_trait_or_t<transfer_template_args_onto<source_t, target_template>,
void>,
void>)
141struct is_type_specialisation_of<source_t, target_template> :
142 std::is_same<source_t, transfer_template_args_onto_t<source_t, target_template>>
150template <
typename source_t,
template <
typename...>
typename target_template>
151inline constexpr bool is_type_specialisation_of_v = is_type_specialisation_of<source_t, target_template>::value;
158template <
typename source_t,
template <
auto...>
typename target_template>
172template <
typename source_t,
template <
auto...>
typename target_template>
174 !std::same_as<transformation_trait_or_t<transfer_template_vargs_onto<source_t, target_template>,
void>,
void>)
175struct is_value_specialisation_of<source_t, target_template> :
176 std::is_same<source_t, transfer_template_vargs_onto_t<source_t, target_template>>
184template <
typename source_t,
template <
auto...>
typename target_template>
195template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
196struct valid_template_spec_or
199 using type = fallback_t;
203template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
204 requires requires {
typename templ_t<spec_t...>; }
205struct valid_template_spec_or<fallback_t, templ_t, spec_t...>
208 using type = templ_t<spec_t...>;
218template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
219using valid_template_spec_or_t =
typename valid_template_spec_or<fallback_t, templ_t, spec_t...>::type;
240template <
typename mytype,
template <
typename...>
typename type_template>
241concept template_specialisation_of = is_type_specialisation_of_v<mytype, type_template>;
254using strip_type_identity_t =
SeqAn specific customisations in the standard namespace.
constexpr bool is_value_specialisation_of_v
Helper variable template for seqan3::detail::is_value_specialisation_of (unary_type_trait shortcut).
Definition template_inspection.hpp:185