dedekind::category::IsTotalOrder Concept Reference

Linear/total refinement of IsPartialOrder. More...

Concept definition

template<typename T, typename Rel std::less_equal<T>, typename Ω bool>
concept dedekind::category::IsTotalOrder =  IsPartialOrder<T, Rel, Ω> && is_connex_v<T, Rel> &&
                       requires(Rel rel, T a, T b) {
                         { rel(a, b) } -> std::same_as<Ω>;
                         { rel(b, a) } -> std::same_as<Ω>;
                       }

Detailed Description

Linear/total refinement of IsPartialOrder.

A total order is a partial order where any two elements are comparable: Rel on T is connex (is_connex_v), certified per carrier like the other three laws, never read off the syntactic std::totally_ordered<T> (#1043).