traits.hpp

Go to the documentation of this file.

#pragma once
 
 
#include <dimval/base.hpp>
#include <dimval/descriptor.hpp>
 
#include <type_traits>
 
namespace dimval {
 
template <typename U>
concept UnitLike = std::is_base_of_v<UnitTag, U>;
 
template <typename M>
concept MeasureLike = std::is_base_of_v<MeasureTag, M>;
 
template <UnitLike U>
[[nodiscard]] constexpr UnitDescriptor unit_descriptor_of() noexcept {
    return U::descriptor();
}
 
template <MeasureLike M>
[[nodiscard]] constexpr MeasureDescriptor measure_descriptor_of() noexcept {
    return M::descriptor();
}
 
template <UnitLike A, UnitLike B>
[[nodiscard]] constexpr bool units_compatible() noexcept {
    return A::kind == B::kind;
}
 
template <MeasureLike M, UnitLike U>
[[nodiscard]] constexpr bool measure_uses_unit() noexcept {
    return std::is_same_v<typename M::base_unit_t, U>;
}
 
}  // namespace dimval