feat: harmonic_ concept enabled

This commit is contained in:
Mateusz Pusz
2022-10-22 21:05:14 +02:00
parent 08b7716f51
commit 9bfe75ebf6

View File

@@ -64,8 +64,8 @@ concept safe_convertible_to_ = // exposition only
// QFrom ratio is an exact multiple of QTo
template<typename QFrom, typename QTo>
concept harmonic_ = // exposition only
true; // TODO fix it when magnitudes are ready
// Quantity<QFrom> && Quantity<QTo> && is_integral(detail::quantity_magnitude<QFrom> / detail::quantity_magnitude<QTo>);
Quantity<QFrom> && Quantity<QTo> &&
is_integral(detail::get_canonical_unit(QFrom::unit).mag / detail::get_canonical_unit(QTo::unit).mag);
template<typename QFrom, typename QTo>
concept quantity_convertible_to_ = // exposition only