unit.hpp

Go to the documentation of this file.

 
#ifndef EAGINE_UNITS_UNIT_HPP
#define EAGINE_UNITS_UNIT_HPP
 
#include "default.hpp"
#include "detail.hpp"
#include "traits.hpp"
 
namespace eagine::units {
 
// unit
template <typename Dims, typename System>
struct unit {
    using dimension = Dims;
    using system = System;
    using scale = scales::one;
    using type = unit;
};
 
template <typename X>
auto get_dimension(X) noexcept {
    return dimension_of_t<X>{};
}
 
// value conv
template <typename D, typename S>
struct value_conv<unit<D, S>, unit<D, S>> : trivial_value_conv {};
 
// add_result
template <typename D, typename S>
struct add_result<unit<D, S>, unit<D, S>> : unit<D, S> {};
 
// sub_result
template <typename D, typename S>
struct sub_result<unit<D, S>, unit<D, S>> : unit<D, S> {};
 
// mul_l_operand
template <typename D1, typename D2, typename S>
struct mul_l_operand<unit<D1, S>, unit<D2, S>> : unit<D1, S> {};
 
// mul_r_operand
template <typename D1, typename D2, typename S>
struct mul_r_operand<unit<D1, S>, unit<D2, S>> : unit<D2, S> {};
 
// mul_result
template <typename D1, typename D2, typename S>
struct mul_result<unit<D1, S>, unit<D2, S>>
  : unit<bits::dim_add_t<D1, D2>, S> {};
 
// div_result
template <typename D1, typename D2, typename S>
struct div_result<unit<D1, S>, unit<D2, S>>
  : unit<bits::dim_sub_t<D1, D2>, S> {};
 
// quotation
template <typename U>
static constexpr auto operator!(U) noexcept
  -> std::enable_if_t<is_unit_v<U>, lit_result_t<U>> {
    return {};
}
 
// addition
template <typename U1, typename U2>
static constexpr auto operator+(U1, U2) noexcept
  -> std::enable_if_t<is_unit_v<U1> && is_unit_v<U2>, add_result_t<U1, U2>> {
    return {};
}
 
// subtraction
template <typename U1, typename U2>
static constexpr auto operator-(U1, U2) noexcept
  -> std::enable_if_t<is_unit_v<U1> && is_unit_v<U2>, sub_result_t<U1, U2>> {
    return {};
}
 
// multiplication
template <typename U1, typename U2>
static constexpr auto operator*(U1, U2) noexcept
  -> std::enable_if_t<is_unit_v<U1> && is_unit_v<U2>, mul_result_t<U1, U2>> {
    return {};
}
 
// division
template <typename U1, typename U2>
static constexpr auto operator/(U1, U2) noexcept
  -> std::enable_if_t<is_unit_v<U1> && is_unit_v<U2>, div_result_t<U1, U2>> {
    return {};
}
 
} // namespace eagine::units
 
#endif // EAGINE_UNITS_UNIT_HPP