mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-07-31 19:04:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

quantity operators * and / constrains weaken to one magma

Browse Source
This commit is contained in:
Mateusz Pusz
2019-11-16 18:29:32 +01:00
parent d4976caf1d
commit 3d2c613dcb
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/include/units/quantity.h
View File

@@ -379,7 +379,7 @@ namespace units {
template<typename U, typename Rep, Scalar Value>
[[nodiscard]] constexpr Quantity AUTO operator*(const quantity<U, Rep>& q, const Value& v)
requires detail::basic_arithmetic<Rep, Value>
requires std::magma<std::ranges::times, Rep, Value>
{
using common_rep = decltype(q.count() * v);
using ret = quantity<U, common_rep>;
@@ -388,7 +388,7 @@ namespace units {
template<Scalar Value, typename U, typename Rep>
[[nodiscard]] constexpr Quantity AUTO operator*(const Value& v, const quantity<U, Rep>& q)
requires detail::basic_arithmetic<Value, Rep>
requires std::magma<std::ranges::times, Value, Rep>
{
return q * v;
}
@@ -418,7 +418,7 @@ namespace units {
template<Scalar Value, typename U, typename Rep>
[[nodiscard]] constexpr Quantity AUTO operator/(const Value& v, const quantity<U, Rep>& q)
requires detail::basic_arithmetic<Value, Rep>
requires std::magma<std::ranges::divided_by, Value, Rep>
{
Expects(q != std::remove_cvref_t<decltype(q)>(0));
@@ -430,7 +430,7 @@ namespace units {
template<typename U, typename Rep, Scalar Value>
[[nodiscard]] constexpr Quantity AUTO operator/(const quantity<U, Rep>& q, const Value& v)
requires detail::basic_arithmetic<Rep, Value>
requires std::magma<std::ranges::divided_by, Rep, Value>
{
Expects(v != Value{0});
@@ -469,7 +469,7 @@ namespace units {
template<typename U, typename Rep, Scalar Value>
[[nodiscard]] constexpr Quantity AUTO operator%(const quantity<U, Rep>& q, const Value& v)
requires (!treat_as_floating_point<Rep>) && (!treat_as_floating_point<Value>) &&
detail::basic_arithmetic<Rep, Value> && std::magma<std::ranges::modulus, Rep, Value>
std::magma<std::ranges::modulus, Rep, Value>
{
using common_rep = decltype(q.count() % v);
using ret = quantity<U, common_rep>;
@@ -479,7 +479,7 @@ namespace units {
template<typename U1, typename Rep1, typename U2, typename Rep2>
[[nodiscard]] constexpr Quantity AUTO operator%(const quantity<U1, Rep1>& lhs, const quantity<U2, Rep2>& rhs)
requires (!treat_as_floating_point<Rep1>) && (!treat_as_floating_point<Rep2>) &&
detail::basic_arithmetic<Rep1, Rep2> && std::magma<std::ranges::modulus, Rep1, Rep2>
std::magma<std::ranges::modulus, Rep1, Rep2>
{
using common_rep = decltype(lhs.count() % rhs.count());
using ret = common_quantity<quantity<U1, Rep1>, quantity<U2, Rep2>, common_rep>;