type.h

Go to the documentation of this file.

 
 
#pragma once
 
 
// === DECLARATIONS ===================================================================================================
 
#include "mjolnir/core/definitions.h"
#include "mjolnir/core/fundamental_types.h"
#include <type_traits>
 
#include <concepts>
 
namespace mjolnir
{
 
 
template <typename T_Type, typename T_OtherType, typename... T_TypeList>
[[nodiscard]] consteval auto is_any_of() noexcept -> bool;
 
 
template <std::integral T_Type>
[[nodiscard]] constexpr auto signed_to_unsigned(T_Type value) -> EquallySizedUnsignedType<T_Type>;
 
 
} // namespace mjolnir
 
 
// === DEFINITIONS ====================================================================================================
 
 
namespace mjolnir
{
// --------------------------------------------------------------------------------------------------------------------
 
 
template <typename T_Type, typename T_OtherType, typename... T_TypeList>
[[nodiscard]] consteval auto is_any_of() noexcept -> bool
{
    if constexpr (! std::is_same_v<T_Type, T_OtherType>)
    {
        if constexpr (sizeof...(T_TypeList) != 0)
            return is_any_of<T_Type, T_TypeList...>();
        else
            return false;
    }
    else
        return true;
}
 
 
// --------------------------------------------------------------------------------------------------------------------
 
template <std::integral T_Type>
[[nodiscard]] constexpr auto signed_to_unsigned(T_Type value) -> EquallySizedUnsignedType<T_Type>
{
    if constexpr (std::is_signed_v<T_Type>)
        return static_cast<EquallySizedUnsignedType<T_Type>>(value);
    else
        return value;
}
 
} // namespace mjolnir