20namespace seqan3::detail
29template <
class T,
class U>
30SEQAN3_CONCEPT weakly_equality_comparable_with =
34 std::convertible_to<
decltype(t == u),
bool>;
35 std::convertible_to<
decltype(t != u),
bool>;
36 std::convertible_to<
decltype(u == t),
bool>;
37 std::convertible_to<
decltype(u != t),
bool>;
43template <
typename lhs_t,
typename rhs_t>
44struct weakly_equality_comparable_with_trait :
55template <
typename t1,
typename t2>
59 std::convertible_to<
decltype(v1 < v2), bool>;
60 std::convertible_to<
decltype(v1 <= v2), bool>;
61 std::convertible_to<
decltype(v1 > v2),
bool>;
62 std::convertible_to<
decltype(v1 >= v2),
bool>;
64 std::convertible_to<
decltype(v2 < v1), bool>;
65 std::convertible_to<
decltype(v2 <= v1), bool>;
66 std::convertible_to<
decltype(v2 > v1),
bool>;
67 std::convertible_to<
decltype(v2 >= v1),
bool>;
73template <
typename lhs_t,
typename rhs_t>
90template <
typename t,
typename u>
103template <
typename t,
typename u>
119SEQAN3_CONCEPT
arithmetic = std::is_arithmetic_v<t>;
152 (std::same_as<t, char> || std::same_as<t, unsigned char> || std::same_as<t, signed char> ||
154 std::same_as<t, char8_t> ||
156 std::same_as<t, char16_t> || std::same_as<t, char32_t> || std::same_as<t, wchar_t>);
188SEQAN3_CONCEPT
trivially_copyable = std::copyable<t> && std::is_trivially_copyable_v<t>;
237template <
typename t,
typename u>
The <concepts> header from C++20's standard library.
A type that satisfies std::is_arithmetic_v<t>.
This concept encompasses exactly the types char, signed char, unsigned char, wchar_t,...
Resolves to std::ranges::explicitly_convertible_to<type1, type2>().
An arithmetic type that also satisfies std::is_floating_point_v<t>.
Resolves to std::ranges::implicitly_convertible_to<type1, type2>().
Resolves to std::is_standard_layout_v<t>.
A type that satisfies seqan3::trivially_copyable and seqan3::trivially_destructible.
A type that satisfies std::is_trivially_copyable_v<t>.
A type that satisfies std::is_trivially_destructible_v<t>.
Resolves to std::is_assignable_v<t>.
The main SeqAn3 namespace.
Definition: cigar_operation_table.hpp:2