di 0.1.0
Loading...
Searching...
No Matches
di::concepts::ThreeWayComparableWith Concept Reference

#include <di/meta/compare.h>

Concept definition

template<typename T, typename U, typename Category partial_ordering>
(detail::ComparesAs<meta::Type<detail::DefinitelyThreeWayComparableWith<T, T>>, Category>) ||
(ThreeWayComparable<T> && ThreeWayComparable<U> && detail::WeaklyEqualityComparableWith<T, U> &&
detail::PartiallyOrderedWith<T, U> && detail::WeaklyThreeWayComparableWith<T, U, Category>)
Definition compare.h:91