diff options
Diffstat (limited to 'AK')
| -rw-r--r-- | AK/Concepts.h | 43 | ||||
| -rw-r--r-- | AK/StdLibExtras.h | 35 |
2 files changed, 78 insertions, 0 deletions
diff --git a/AK/Concepts.h b/AK/Concepts.h new file mode 100644 index 0000000000..4a2b594240 --- /dev/null +++ b/AK/Concepts.h @@ -0,0 +1,43 @@ +/* + * Copyright (c) 2020, the SerenityOS developers. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * 1. Redistributions of source code must retain the above copyright notice, this + * list of conditions and the following disclaimer. + * + * 2. Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE + * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE + * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR + * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, + * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#pragma once + +#include <AK/StdLibExtras.h> + +namespace AK::Concepts { + +// clang-format off + +template<typename T> +concept Integral = IsIntegral<T>::value; + +template<typename T> +concept FloatingPoint = IsFloatingPoint<T>::value; + +// clang-format on + +} diff --git a/AK/StdLibExtras.h b/AK/StdLibExtras.h index bfaaa4aac1..b47a465fd1 100644 --- a/AK/StdLibExtras.h +++ b/AK/StdLibExtras.h @@ -26,6 +26,11 @@ #pragma once +typedef __UINT64_TYPE__ u64; +typedef __UINT32_TYPE__ u32; +typedef __UINT16_TYPE__ u16; +typedef __UINT8_TYPE__ u8; + #define UNUSED_PARAM(x) (void)x inline constexpr unsigned round_up_to_power_of_two(unsigned value, unsigned power_of_two) @@ -455,6 +460,36 @@ template<typename Base, typename Derived> struct IsBaseOf : public IntegralConstant<bool, __is_base_of(Base, Derived)> { }; +template<typename T> +struct __IsIntegral : FalseType { +}; +template<> +struct __IsIntegral<u8> : TrueType { +}; +template<> +struct __IsIntegral<u16> : TrueType { +}; +template<> +struct __IsIntegral<u32> : TrueType { +}; +template<> +struct __IsIntegral<u64> : TrueType { +}; +template<typename T> +using IsIntegral = __IsIntegral<typename MakeUnsigned<typename RemoveCV<T>::Type>::Type>; + +template<typename T> +struct __IsFloatingPoint : FalseType { +}; +template<> +struct __IsFloatingPoint<float> : TrueType { +}; +template<> +struct __IsFloatingPoint<double> : TrueType { +}; +template<typename T> +using IsFloatingPoint = __IsFloatingPoint<typename RemoveCV<T>::Type>; + template<typename ReferenceType, typename T> using CopyConst = typename Conditional<IsConst<ReferenceType>::value, typename AddConst<T>::Type, typename RemoveConst<T>::Type>::Type; |