bio::meta::weakly_ordered_with Concept Reference

Requires the two operands to be comparable with <, <=, > and >= in both directions. More...

#include <bio/meta/concept/core_language.hpp>

Concept definition

template<typename t1, typename t2>
concept bio::meta::weakly_ordered_with =  requires(std::remove_reference_t<t1> const & v1, std::remove_reference_t<t2> const & v2) {
    requires std::convertible_to<decltype(v1 < v2), bool>;
    requires std::convertible_to<decltype(v1 <= v2), bool>;
    requires std::convertible_to<decltype(v1 > v2), bool>;
    requires std::convertible_to<decltype(v1 >= v2), bool>;
 
    requires std::convertible_to<decltype(v2 < v1), bool>;
    requires std::convertible_to<decltype(v2 <= v1), bool>;
    requires std::convertible_to<decltype(v2 > v1), bool>;
    requires std::convertible_to<decltype(v2 >= v1), bool>;
}

Detailed Description

Requires the two operands to be comparable with <, <=, > and >= in both directions.

Template Parameters

t1	The first type to compare.
t2	The second type to compare.