based

Opinionated utility library
git clone git://git.dimitrijedobrota.com/based.git
Log | Files | Refs | README | LICENSE | HACKING | CONTRIBUTING | CODE_OF_CONDUCT | BUILDING
commit cb5cb36c3a6920d7e3ec8243eac75b181d642ef7
parent 5a0ddb36672332e59e946fb6faefeebc060172d7
author Dimitrije Dobrota < mail@dimitrijedobrota.com >
date Tue, 24 Jun 2025 17:48:19 +0200

Rename comparable traits

Diffstat:
M include/based/concept/comparable/equal.hpp | + -
M include/based/concept/comparable/equality.hpp | +++ ---
M include/based/concept/comparable/greater.hpp | + -
M include/based/concept/comparable/greater_equal.hpp | +++ ---
M include/based/concept/comparable/less.hpp | + -
M include/based/concept/comparable/less_equal.hpp | +++ ---
M include/based/concept/comparable/not_equal.hpp | + -
M include/based/concept/ordered/totally.hpp | +++++ -----

8 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/ include/based/concept/comparable/equal.hpp b/ include/based/concept/comparable/equal.hpp

@@ -8,7 +8,7 @@ namespace based::trait


// clang-format off
template<class T>
concept EqualComparable = requires
concept IsEqualComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{ lhs == rhs } -> IsSame<bool>;

diff --git a/ include/based/concept/comparable/equality.hpp b/ include/based/concept/comparable/equality.hpp

@@ -8,9 +8,9 @@ namespace based::trait


// clang-format off
template<class T>
concept EqualityComparable = requires {
requires(EqualComparable<T>);
requires(NotEqualComparable<T>);
concept IsEqualityComparable = requires {
requires(IsEqualComparable<T>);
requires(IsNotEqualComparable<T>);
};
// clang-format on

diff --git a/ include/based/concept/comparable/greater.hpp b/ include/based/concept/comparable/greater.hpp

@@ -8,7 +8,7 @@ namespace based::trait


// clang-format off
template<class T>
concept GreaterComparable = requires
concept IsGreaterComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{lhs > rhs} -> IsSame<bool>;

diff --git a/ include/based/concept/comparable/greater_equal.hpp b/ include/based/concept/comparable/greater_equal.hpp

@@ -8,11 +8,11 @@ namespace based::trait


// clang-format off
template<class T>
concept LessEqualComparable = requires
concept IsGreaterEqualComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{lhs <= rhs} -> IsSame<bool>;
{rhs <= lhs} -> IsSame<bool>;
{lhs >= rhs} -> IsSame<bool>;
{rhs >= lhs} -> IsSame<bool>;
};
// clang-format on

diff --git a/ include/based/concept/comparable/less.hpp b/ include/based/concept/comparable/less.hpp

@@ -8,7 +8,7 @@ namespace based::trait


// clang-format off
template<class T>
concept LessComparable = requires
concept IsLessComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{lhs < rhs} -> IsSame<bool>;

diff --git a/ include/based/concept/comparable/less_equal.hpp b/ include/based/concept/comparable/less_equal.hpp

@@ -8,11 +8,11 @@ namespace based::trait


// clang-format off
template<class T>
concept GreaterEqualComparable = requires
concept IsLessEqualComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{lhs >= rhs} -> IsSame<bool>;
{rhs >= lhs} -> IsSame<bool>;
{lhs <= rhs} -> IsSame<bool>;
{rhs <= lhs} -> IsSame<bool>;
};
// clang-format on

diff --git a/ include/based/concept/comparable/not_equal.hpp b/ include/based/concept/comparable/not_equal.hpp

@@ -8,7 +8,7 @@ namespace based::trait


// clang-format off
template<class T>
concept NotEqualComparable = requires
concept IsNotEqualComparable = requires
(const RemoveReference<T>& lhs, const RemoveReference<T>& rhs)
{
{lhs != rhs} -> IsSame<bool>;

diff --git a/ include/based/concept/ordered/totally.hpp b/ include/based/concept/ordered/totally.hpp

@@ -11,11 +11,11 @@ namespace based::trait


template<class T>
concept TotallyOrdered = requires {
requires(EqualityComparable<T>);
requires(LessComparable<T>);
requires(GreaterComparable<T>);
requires(LessEqualComparable<T>);
requires(GreaterEqualComparable<T>);
requires(IsEqualityComparable<T>);
requires(IsLessComparable<T>);
requires(IsGreaterComparable<T>);
requires(IsLessEqualComparable<T>);
requires(IsGreaterEqualComparable<T>);
};

} // namespace based::trait