69 requires requires {
typename t::seqan3_required_types; }
73 using type =
typename t::seqan3_required_types;
104 requires requires {
typename t::seqan3_recursive_required_types; }
108 using type =
typename t::seqan3_recursive_required_types;
129 template <
typename type>
141 template <
typename type>
153 template <
typename type>
165 template <
typename type>
177 template <
typename type>
188template <
typename lhs_t,
typename rhs_t>
196template <
typename lhs_t,
typename rhs_t>
210template <
typename... alternative_types>
211 requires (detail::writable_constexpr_alphabet<alternative_types> && ...) && (std::regular<alternative_types> && ...)
212 && (
sizeof...(alternative_types) >= 2)
215template <
typename derived_type,
typename... component_types>
216 requires (detail::writable_constexpr_semialphabet<component_types> && ...) && (std::regular<component_types> && ...)
Core alphabet concept and free function/type trait wrappers.
Provides alphabet helper concepts.
The CRTP base for a combined alphabet that contains multiple values of different alphabets at the sam...
Definition alphabet_tuple_base.hpp:113
A combined alphabet that can hold values of either of its alternatives..
Definition alphabet_variant.hpp:129
seqan3::alphabet_tuple_base and its derivates model this concept.
Provides lazy template instantiation traits.
The internal SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
The main SeqAn3 namespace.
Definition aligned_sequence_concept.hpp:26
'Callable' helper class that is invokable by meta::invoke.Returns a std::true_type if the type is ass...
Definition alphabet/composite/detail.hpp:151
'Callable' helper class that is invokable by meta::invoke.Returns a std::true_type if the type is con...
Definition alphabet/composite/detail.hpp:127
'Callable' helper class that is invokable by meta::invoke.Returns a std::true_type if the T is implic...
Definition alphabet/composite/detail.hpp:139
typename t::seqan3_recursive_required_types type
The returned type.
Definition alphabet/composite/detail.hpp:108
Like seqan3::detail::required_types, but recursive.
Definition alphabet/composite/detail.hpp:94
typename recursive_required_types< t >::type recursive_required_types_t
Shortcut for seqan3::detail::recursive_required_types.
Definition alphabet/composite/detail.hpp:115
typename t::seqan3_required_types type
The returned type.
Definition alphabet/composite/detail.hpp:73
A seqan3::type_list with types that the given type depends on.
Definition alphabet/composite/detail.hpp:54
typename required_types< t >::type required_types_t
A seqan3::type_list with types that the given type depends on. [Trait shortcut].
Definition alphabet/composite/detail.hpp:80
'Callable' helper class that is invokable by meta::invoke.Returns a std::true_type if the type is wea...
Definition alphabet/composite/detail.hpp:163
Binary type trait that behaves like the seqan3::detail::weakly_equality_comparable_with concept.
Definition alphabet/composite/detail.hpp:191
'Callable' helper class that is invokable by meta::invoke.Returns a std::true_type if the type is com...
Definition alphabet/composite/detail.hpp:175
Binary type trait that behaves like the seqan3::detail::weakly_ordered_with concept.
Definition alphabet/composite/detail.hpp:198
Type that contains multiple types.
Definition type_list.hpp:26
Provides seqan3::type_list.
Provides concepts that do not have equivalents in C++20.