28template <
typename source_type,
template <
typename...>
typename target_template>
29struct transfer_template_args_onto
57template <
template <
typename...>
typename source_template,
58 template <
typename...>
59 typename target_template,
60 typename... source_arg_types>
61 requires requires () {
typename target_template<source_arg_types...>; }
62struct transfer_template_args_onto<source_template<source_arg_types...>, target_template>
65 using type = target_template<source_arg_types...>;
72template <
typename source_type,
template <
typename...>
typename target_template>
80template <
typename source_type,
template <
auto...>
typename target_template>
81struct transfer_template_vargs_onto
102template <
template <
auto...>
typename source_template,
104 typename target_template,
105 auto... source_varg_types>
106 requires requires () {
typename target_template<source_varg_types...>; }
107struct transfer_template_vargs_onto<source_template<source_varg_types...>, target_template>
110 using type = target_template<source_varg_types...>;
117template <
typename source_type,
template <
auto...>
typename target_template>
136template <
typename source_t,
template <
typename...>
typename target_template>
141template <
typename source_t,
template <
typename...>
typename target_template>
143 !std::same_as<transformation_trait_or_t<transfer_template_args_onto<source_t, target_template>,
void>,
void>)
153template <
typename source_t,
template <
typename...>
typename target_template>
161template <
typename source_t,
template <
auto...>
typename target_template>
175template <
typename source_t,
template <
auto...>
typename target_template>
177 !std::same_as<transformation_trait_or_t<transfer_template_vargs_onto<source_t, target_template>,
void>,
void>)
187template <
typename source_t,
template <
auto...>
typename target_template>
198template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
206template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
207 requires requires {
typename templ_t<spec_t...>; }
211 using type = templ_t<spec_t...>;
221template <
typename fallback_t,
template <
typename...>
typename templ_t,
typename... spec_t>
243template <
typename mytype,
template <
typename...>
typename type_template>
typename transfer_template_args_onto< source_type, target_template >::type transfer_template_args_onto_t
Shortcut for seqan3::detail::transfer_template_args_onto (transformation_trait shortcut).
Definition: template_inspection.hpp:73
typename valid_template_spec_or< fallback_t, templ_t, spec_t... >::type valid_template_spec_or_t
Helper for seqan3::detail::valid_template_spec_or (transformation_trait shortcut).
Definition: template_inspection.hpp:222
typename transfer_template_vargs_onto< source_type, target_template >::type transfer_template_vargs_onto_t
Shortcut for seqan3::detail::transfer_template_vargs_onto (transformation_trait shortcut).
Definition: template_inspection.hpp:118
typename transformation_trait_or< type_t, default_t >::type transformation_trait_or_t
Helper type of seqan3::detail::transformation_trait_or (transformation_trait shortcut).
Definition: transformation_trait_or.hpp:51
Provides concept seqan3::template_specialisation_of<mytype, [...]> for checking the type specialisati...
The internal SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
This is an overloaded member function, provided for convenience. It differs from the above function o...
Definition: template_inspection.hpp:146
Determines whether a source_type is a specialisation of another template.
Definition: template_inspection.hpp:138
Determines whether a source_type is a specialisation of another template.
Definition: template_inspection.hpp:180
target_template< source_arg_types... > type
The return type: the target type specialised by the unpacked types in the list.
Definition: template_inspection.hpp:65
target_template< source_varg_types... > type
The return type: the target type specialised by the unpacked types in the list.
Definition: template_inspection.hpp:110
templ_t< spec_t... > type
The resulting type.
Definition: template_inspection.hpp:211
Exposes templ_t<spec_t...> if that is valid, otherwise fallback_t.
Definition: template_inspection.hpp:200
fallback_t type
The resulting type.
Definition: template_inspection.hpp:202
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:188