From 591d03de95a737b418cdacd6d3ffa34f76545ad6 Mon Sep 17 00:00:00 2001
From: Bananymous <bananymousosq@gmail.com>
Date: Mon, 15 May 2023 20:26:29 +0300
Subject: [PATCH] BAN: add is_arithmetic and is_signed to Traits.h

---
 BAN/include/BAN/Traits.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/BAN/include/BAN/Traits.h b/BAN/include/BAN/Traits.h
index 0a9ca4f3b6..f9cef34356 100644
--- a/BAN/include/BAN/Traits.h
+++ b/BAN/include/BAN/Traits.h
@@ -65,6 +65,16 @@ namespace BAN
 	template<typename T> struct is_const<const T>	: true_type {};
 	template<typename T> inline constexpr bool is_const_v = is_const<T>::value;
 	
+	template<typename T> struct is_arithmetic { static constexpr bool value = is_integral_v<T> || is_floating_point_v<T>; };
+	template<typename T> inline constexpr bool is_arithmetic_v = is_arithmetic<T>::value;
+
+	namespace detail
+	{
+		template<typename T, bool = is_arithmetic_v<T>> struct is_signed { static constexpr bool value = T(-1) < T(0); };
+		template<typename T> struct is_signed<T, false> : false_type {};
+	}
+	template<typename T> struct is_signed : detail::is_signed<T> {};
+	template<typename T> inline constexpr bool is_signed_v = is_signed<T>::value;
 
 	template<typename T> struct less	{ constexpr bool operator()(const T& lhs, const T& rhs) const { return lhs < rhs; } };
 	template<typename T> struct equal	{ constexpr bool operator()(const T& lhs, const T& rhs) const { return lhs == rhs; } };