17namespace seqan3::detail
26template <
class T,
class U>
27concept weakly_equality_comparable_with =
29 requires std::convertible_to<
decltype(t == u),
bool>;
30 requires std::convertible_to<
decltype(t != u),
bool>;
31 requires std::convertible_to<
decltype(u == t),
bool>;
32 requires std::convertible_to<
decltype(u != t),
bool>;
43template <
typename t1,
typename t2>
44concept weakly_ordered_with =
46 requires std::convertible_to<
decltype(v1 < v2), bool>;
47 requires std::convertible_to<
decltype(v1 <= v2), bool>;
48 requires std::convertible_to<
decltype(v1 > v2),
bool>;
49 requires std::convertible_to<
decltype(v1 >= v2),
bool>;
51 requires std::convertible_to<
decltype(v2 < v1), bool>;
52 requires std::convertible_to<
decltype(v2 <= v1), bool>;
53 requires std::convertible_to<
decltype(v2 > v1),
bool>;
54 requires std::convertible_to<
decltype(v2 >= v1),
bool>;
67template <
typename from_t,
typename to_t>
68concept convertable_to_through_char_representation =
Core alphabet concept and free function/type trait wrappers.
The generic alphabet concept that covers most data types used in ranges.