libcxx/include/__concepts/arithmetic.h

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #ifndef _LIBCPP___CONCEPTS_ARITHMETIC_H
  10 #define _LIBCPP___CONCEPTS_ARITHMETIC_H
  11
  12 #include <__config>
  13 #include <__type_traits/is_floating_point.h>
  14 #include <__type_traits/is_integral.h>
  15 #include <__type_traits/is_signed.h>
  16 #include <__type_traits/is_signed_integer.h>
  17 #include <__type_traits/is_unsigned_integer.h>
  18
  19 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  20 #  pragma GCC system_header
  21 #endif
  22
  23 _LIBCPP_BEGIN_NAMESPACE_STD
  24
  25 #if _LIBCPP_STD_VER >= 20
  26
  27 // [concepts.arithmetic], arithmetic concepts
  28
  29 template <class _Tp>
  30 concept integral = is_integral_v<_Tp>;
  31
  32 template <class _Tp>
  33 concept signed_integral = integral<_Tp> && is_signed_v<_Tp>;
  34
  35 template <class _Tp>
  36 concept unsigned_integral = integral<_Tp> && !signed_integral<_Tp>;
  37
  38 template <class _Tp>
  39 concept floating_point = is_floating_point_v<_Tp>;
  40
  41 // Concept helpers for the internal type traits for the fundamental types.
  42
  43 template <class _Tp>
  44 concept __libcpp_unsigned_integer = __libcpp_is_unsigned_integer<_Tp>::value;
  45
  46 template <class _Tp>
  47 concept __libcpp_signed_integer = __libcpp_is_signed_integer<_Tp>::value;
  48
  49 template <class _Tp>
  50 concept __libcpp_integer = __libcpp_unsigned_integer<_Tp> || __libcpp_signed_integer<_Tp>;
  51
  52 #endif // _LIBCPP_STD_VER >= 20
  53
  54 _LIBCPP_END_NAMESPACE_STD
  55
  56 #endif // _LIBCPP___CONCEPTS_ARITHMETIC_H