feedc0de/mp-units
1
0
Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

Number concept extended with requirements on comparison operators

Browse Source
This commit is contained in:
Mateusz Pusz
2019-04-05 17:49:32 +02:00
parent f94a7b92ea
commit e0aa10e133
1 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
src/include/units/bits/tools.h
View File

@@ -39,18 +39,20 @@ namespace std {
namespace units {
template<typename T>
concept bool Number = requires(T a, T b) {
{ a + b } -> T;
{ a - b } -> T;
{ a * b } -> T;
{ a / b } -> T;
{ -a } -> T;
{ a += b } -> T&;
{ a -= b } -> T&;
{ a *= b } -> T&;
{ a /= b } -> T&;
{ T{0} };// can construct a T from a zero
// …
concept bool Number = std::experimental::ranges::Regular<T> &&
std::experimental::ranges::StrictTotallyOrdered<T> &&
requires(T a, T b) {
{ a + b } -> T;
{ a - b } -> T;
{ a * b } -> T;
{ a / b } -> T;
{ -a } -> T;
{ a += b } -> T&;
{ a -= b } -> T&;
{ a *= b } -> T&;
{ a /= b } -> T&;
{ T{0} };// can construct a T from a zero
// …
} ;