Iros
Loading...
Searching...
No Matches
di::concepts::ThreeWayComparable Concept Reference
#include <
di/meta/compare.h
>
Concept definition
template
<
typename
T,
typename
Category partial_ordering>
concept
di::concepts::ThreeWayComparable
=
(
detail::ComparesAs<meta::Type<detail::DefinitelyThreeWayComparableWith<T, T>
>, Category>) ||
(
detail::WeaklyEqualityComparableWith<T, T>
&&
detail::PartiallyOrderedWith<T, T>
&&
detail::WeaklyThreeWayComparableWith<T, T, Category>
)
di::concepts::ThreeWayComparable
Definition
compare.h:91
di::concepts::detail::ComparesAs
Definition
compare.h:37
di::concepts::detail::PartiallyOrderedWith
Definition
compare.h:60
di::concepts::detail::WeaklyEqualityComparableWith
Definition
compare.h:50
di::concepts::detail::WeaklyThreeWayComparableWith
Definition
compare.h:74
di
concepts
ThreeWayComparable
Generated by
1.13.0