angle.hpp

#ifndef LIBSBX_MATH_ANGLE_HPP_
#define LIBSBX_MATH_ANGLE_HPP_
 
#include <cmath>
#include <concepts>
#include <numbers>
 
#include <libsbx/math/concepts.hpp>
#include <libsbx/math/smooth_value.hpp>
 
namespace sbx::math {
 
template<floating_point Type>
class basic_degree {
 
public:
 
  using value_type = Type;
 
  inline static constexpr basic_degree min{value_type{0}};
  inline static constexpr basic_degree max{value_type{360}};
 
  constexpr basic_degree() = default;
 
  template<scalar Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr basic_degree(const Other value) noexcept
  : _value{static_cast<Type>(value)} { }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr basic_degree(const basic_degree<Other>& other) noexcept
  : _value{static_cast<Type>(other._value)} { }
 
  constexpr ~basic_degree() noexcept = default;
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator=(const basic_degree<Other>& other) noexcept -> basic_degree<Type>& {
    _value = static_cast<Type>(other._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator+=(const basic_degree<Other>& rhs) noexcept -> basic_degree<Type>& {
    _value += static_cast<Type>(rhs._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator-=(const basic_degree<Other>& rhs) noexcept -> basic_degree<Type>& {
    _value -= static_cast<Type>(rhs._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator*=(const Other rhs) noexcept -> basic_degree<Type>& {
    _value *= static_cast<Type>(rhs);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator/=(const Other rhs) noexcept -> basic_degree<Type>& {
    _value /= static_cast<Type>(rhs);
 
    return *this;
  }
 
  constexpr auto value() const noexcept -> value_type {
    return _value;
  }
 
  constexpr operator value_type() const noexcept {
    return _value;
  }
 
private:
 
  value_type _value{};
 
}; // class basic_degree
 
template<floating_point Type>
constexpr auto operator==(const basic_degree<Type>& lhs, const basic_degree<Type>& rhs) noexcept -> bool {
  return static_cast<basic_degree<Type>::value_type>(lhs) == static_cast<basic_degree<Type>::value_type>(rhs);
}
 
template<floating_point Type, floating_point Other>
constexpr auto operator<=>(const basic_degree<Type>& lhs, const basic_degree<Other>& rhs) noexcept -> std::partial_ordering {
  return static_cast<basic_degree<Type>::value_type>(lhs) <=> static_cast<basic_degree<Type>::value_type>(rhs);
}
 
template<floating_point Type, floating_point Other>
requires (std::is_convertible_v<Other, Type>)
constexpr auto operator+(basic_degree<Type> lhs, const basic_degree<Other>& rhs) noexcept -> basic_degree<Type> {
  return lhs += rhs;
}
 
template<floating_point Type, floating_point Other>
requires (std::is_convertible_v<Other, Type>)
constexpr auto operator-(basic_degree<Type> lhs, const basic_degree<Other>& rhs) noexcept -> basic_degree<Type> {
  return lhs -= rhs;
}
 
template<floating_point Type, std::convertible_to<Type> Other>
constexpr auto operator*(basic_degree<Type> lhs, const Other rhs) noexcept -> basic_degree<Type> {
  return lhs *= static_cast<Type>(rhs);
}
 
template<floating_point Type, std::convertible_to<Type> Other>
constexpr auto operator/(basic_degree<Type> lhs, const Other rhs) noexcept -> basic_degree<Type> {
  return lhs /= static_cast<Type>(rhs);
}
 
template<floating_point Type>
constexpr auto clamp(const basic_degree<Type>& value, const basic_degree<Type>& min, const basic_degree<Type>& max) -> const basic_degree<Type>& {
  if (value < min) {
    return min;
  }
 
  if (value > max) {
    return max;
  }
 
  return value;
}
 
using degree = basic_degree<std::float_t>;
 
template<floating_point Type>
struct is_smoothable<basic_degree<Type>> : std::true_type { };
 
template<floating_point Type>
struct comparision_traits<basic_degree<Type>> {
 
  using base_trait = comparision_traits<Type>;
 
  inline static constexpr auto equal(const basic_degree<Type>& lhs, const basic_degree<Type>& rhs) noexcept -> bool {
    return base_trait::equal(lhs.value(), rhs.value());
  }
 
}; // template<floating_point Type>
 
template<floating_point Type>
inline constexpr auto mix(const basic_degree<Type> x, const basic_degree<Type> y, const Type a) -> basic_degree<Type> {
  return basic_degree<Type>{x.value() * (static_cast<Type>(1) - a) + y.value() * a};
}
 
template<floating_point Type>
class basic_radian {
 
public:
 
  using value_type = Type;
 
  inline static constexpr basic_radian min{value_type{0}};
  inline static constexpr basic_radian max{value_type{2 * std::numbers::pi_v<value_type>}};
 
  constexpr basic_radian() = default;
 
  template<scalar Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr basic_radian(const Other value) noexcept
  : _value{static_cast<Type>(value)} { }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr basic_radian(const basic_radian<Other>& other) noexcept
  : _value{static_cast<Type>(other._value)} { }
 
  constexpr ~basic_radian() noexcept = default;
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator=(const basic_radian<Other>& other) noexcept -> basic_radian<Type>& {
    _value = static_cast<Type>(other._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator+=(const basic_radian<Other>& rhs) noexcept -> basic_radian<Type>& {
    _value += static_cast<Type>(rhs._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator-=(const basic_radian<Other>& rhs) noexcept -> basic_radian<Type>& {
    _value -= static_cast<Type>(rhs._value);
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator*=(const Other rhs) noexcept -> basic_radian<Type>& {
    _value *= static_cast<Type>(rhs);
 
    return *this;
  }
 
  constexpr auto value() const noexcept -> value_type {
    return _value;
  }
 
  constexpr operator value_type() const noexcept {
    return _value;
  }
 
private:
 
  value_type _value{};
 
}; // class basic_radian
 
template<floating_point Type>
constexpr auto operator==(const basic_radian<Type>& lhs, const basic_radian<Type>& rhs) noexcept -> bool {
  return static_cast<basic_radian<Type>::value_type>(lhs) == static_cast<basic_radian<Type>::value_type>(rhs);
}
 
template<floating_point Type, floating_point Other>
constexpr auto operator<=>(const basic_radian<Type>& lhs, const basic_radian<Other>& rhs) noexcept -> std::partial_ordering {
  return static_cast<basic_radian<Type>::value_type>(lhs) <=> static_cast<basic_radian<Type>::value_type>(rhs);
}
 
template<floating_point Type, floating_point Other>
requires (std::is_convertible_v<Other, Type>)
constexpr auto operator+(basic_radian<Type> lhs, const basic_radian<Other>& rhs) noexcept -> basic_radian<Type> {
  return lhs += rhs;
}
 
template<floating_point Type, floating_point Other>
requires (std::is_convertible_v<Other, Type>)
constexpr auto operator-(basic_radian<Type> lhs, const basic_radian<Other>& rhs) noexcept -> basic_radian<Type> {
  return lhs -= rhs;
}
 
template<floating_point Type, std::convertible_to<Type> Other>
requires (std::is_convertible_v<Other, Type>)
constexpr auto operator*(basic_radian<Type> lhs, const Other rhs) noexcept -> basic_radian<Type> {
  return lhs *= static_cast<Type>(rhs);
}
 
template<floating_point Type>
constexpr auto clamp(const basic_radian<Type>& value, const basic_radian<Type>& min, const basic_radian<Type>& max) -> const basic_radian<Type>& {
  if (value < min) {
    return min;
  }
 
  if (value > max) {
    return max;
  }
 
  return value;
}
 
using radian = basic_radian<std::float_t>;
 
template<floating_point Type>
class basic_angle {
 
public:
 
  using value_type = Type;
 
  constexpr basic_angle(const basic_degree<value_type>& degree) noexcept
  : _radian{degree.value() * std::numbers::pi_v<value_type> / static_cast<value_type>(180)} {}
 
  constexpr basic_angle(const basic_radian<value_type>& radian) noexcept
  : _radian{radian} { }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr basic_angle(const basic_angle<Other>& other) noexcept
  : _radian{other._radian} { }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator+=(const basic_angle<Other>& other) noexcept -> basic_angle<Type>& {
    _radian += basic_radian<Type>{other._radian};
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator+=(const basic_degree<Other>& other) noexcept -> basic_angle<Type>& {
    return (*this += basic_angle<Other>{other});
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator+=(const basic_radian<Other>& other) noexcept -> basic_angle<Type>& {
    return (*this += basic_angle<Other>{other});
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator-=(const basic_angle<Other>& other) noexcept -> basic_angle<Type>& {
    _radian -= basic_radian<Type>{other._radian};
 
    return *this;
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator-=(const basic_degree<Other>& other) noexcept -> basic_angle<Type>& {
    return (*this -= basic_angle<Other>{other});
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator-=(const basic_radian<Other>& other) noexcept -> basic_angle<Type>& {
    return (*this -= basic_angle<Other>{other});
  }
 
  template<floating_point Other>
  requires (std::is_convertible_v<Other, Type>)
  constexpr auto operator*=(const Other other) noexcept -> basic_angle<Type>& {
    _radian = basic_radian<Type>{_radian.value() * static_cast<Type>(other)};
 
    return *this;
  }
 
  constexpr auto to_degrees() const noexcept -> basic_degree<value_type> {
    return basic_degree<value_type>{_radian.value() * static_cast<value_type>(180) / std::numbers::pi_v<value_type>};
  }
 
  constexpr auto to_radians() const noexcept -> basic_radian<value_type> {
    return _radian;
  }
 
private:
 
  basic_radian<Type> _radian{};
 
}; // class basic_angle
 
template<floating_point Type>
constexpr auto operator==(const basic_angle<Type>& lhs, const basic_angle<Type>& rhs) noexcept -> bool {
  return lhs.to_radians() == rhs.to_radians();
}
 
template<floating_point Type, floating_point Other>
constexpr auto operator<=>(const basic_angle<Type>& lhs, const basic_angle<Other>& rhs) noexcept -> std::partial_ordering {
  return lhs.to_radians() <=> rhs.to_radians();
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator+(basic_angle<LhsType> lhs, const basic_angle<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs += rhs;
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator+(basic_angle<LhsType> lhs, const basic_degree<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs += basic_angle<LhsType>(rhs);
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator+(basic_angle<LhsType> lhs, const basic_radian<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs += basic_angle<LhsType>(rhs);
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator-(basic_angle<LhsType> lhs, const basic_angle<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs -= rhs;
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator-(basic_angle<LhsType> lhs, const basic_degree<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs -= basic_angle<LhsType>(rhs);
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator-(basic_angle<LhsType> lhs, const basic_radian<RhsType>& rhs) noexcept -> basic_angle<LhsType> {
  return lhs -= basic_angle<LhsType>(rhs);
}
 
template<floating_point LhsType, floating_point RhsType>
requires (std::is_convertible_v<RhsType, LhsType>)
constexpr auto operator*(basic_angle<LhsType> lhs, const RhsType rhs) noexcept -> basic_angle<LhsType> {
  return lhs *= rhs;
}
 
template<floating_point Type>
constexpr auto clamp(const basic_angle<Type>& value, const basic_angle<Type>& min, const basic_angle<Type>& max) -> const basic_angle<Type>& {
  if (value < min) {
    return min;
  }
 
  if (value > max) {
    return max;
  }
 
  return value;
}
 
using angle = basic_angle<std::float_t>;
 
template<floating_point Type>
constexpr auto to_degrees(const basic_radian<Type>& radian) noexcept -> basic_degree<Type> {
  return basic_angle<Type>{radian}.to_degrees();
}
 
template<floating_point Type>
constexpr auto to_radians(const basic_degree<Type>& degree) noexcept -> basic_radian<Type> {
  return basic_angle<Type>{degree}.to_radians();
}
 
namespace literals {
 
constexpr auto operator""_deg(long double value) noexcept -> degree {
  return degree{static_cast<std::float_t>(value)};
}
 
constexpr auto operator""_deg(unsigned long long value) noexcept -> degree {
  return degree{static_cast<std::float_t>(value)};
}
 
constexpr auto operator""_rad(long double value) noexcept -> radian {
  return radian{static_cast<std::float_t>(value)};
}
 
constexpr auto operator""_rad(unsigned long long value) noexcept -> radian {
  return radian{static_cast<std::float_t>(value)};
}
 
} // namespace literals
 
} // namespace sbx::math
 
#endif // LIBSBX_MATH_ANGLE_HPP_