From fe4b44b48951e8fc899f86c0e0cb891ec1a291ca Mon Sep 17 00:00:00 2001
From: Andrew Kaster <andrewdkaster@gmail.com>
Date: Tue, 29 Dec 2020 22:37:36 -0700
Subject: [PATCH] AK: Add IsArithmetic and IsFundamental type traits

Also, make sure to using AK::IsNullPointer
---
 AK/StdLibExtras.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/AK/StdLibExtras.h b/AK/StdLibExtras.h
index 154dea5e22..c213030326 100644
--- 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;