AK: Add IsArithmetic and IsFundamental type traits

Also, make sure to using AK::IsNullPointer
cubiclove · Dec 30, 2020 · fe4b44b · fe4b44b
1 parent 874df07
commit fe4b44b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/AK/StdLibExtras.h b/AK/StdLibExtras.h
@@ -511,6 +511,12 @@ constexpr auto DependentFalse = false;
 template<typename T>
 using IsUnsigned = IsSame<T, MakeUnsigned<T>>;
 
+template<typename T>
+using IsArithmetic = IntegralConstant<bool, IsIntegral<T>::value || IsFloatingPoint<T>::value>;
+
+template<typename T>
+using IsFundamental = IntegralConstant<bool, IsArithmetic<T>::value || IsVoid<T>::value || IsNullPointer<T>::value>;
+
 }
 
 using AK::AddConst;
@@ -524,9 +530,12 @@ using AK::exchange;
 using AK::forward;
 using AK::is_trivial;
 using AK::is_trivially_copyable;
+using AK::IsArithmetic;
 using AK::IsBaseOf;
 using AK::IsClass;
 using AK::IsConst;
+using AK::IsFundamental;
+using AK::IsNullPointer;
 using AK::IsSame;
 using AK::IsUnion;
 using AK::IsVoid;