Add type traits

Author: StormBytePP

lib/public/StormByte/type_traits.hxx

@@ -220,6 +220,26 @@ namespace StormByte {
 		template<typename E>
 		concept ScopedEnum = std::is_scoped_enum_v<E>;
 
+		/**
+		 * @brief Alias type giving the underlying integer type of an enum `E`.
+		 *
+		 * Usage:
+		 * enum class Foo : uint16_t { A };
+		 * Type::underlying_type<Foo> value = 0;
+		 */
+		template<typename E>
+		requires Enum<E>
+		using underlying_type = std::underlying_type_t<std::remove_cv_t<E>>;
+
+		/**
+		 * @brief Convert an enum value to its underlying integer representation.
+		 */
+		template<typename E>
+		requires Enum<E>
+		constexpr underlying_type<E> to_underlying(E e) noexcept {
+			return static_cast<underlying_type<E>>(e);
+		}
+
 		/**
 		 * @brief Concept to check if a type is a pointer.
 		 * @tparam T Type to check.