Concept for integral types including tools::int128_t and tools::uint128_t (tools/integral.hpp)

View this file on GitHub
View document part on GitHub
Last update: 2025-08-08 21:27:15+09:00
Include: #include "tools/integral.hpp"

template <typename T>
concept integral = tools::is_integral_v<T>;

It is a concept that represents integral types. It also supports tools::int128_t and tools::uint128_t.

Constraints

None

Time Complexity

Not applicable

License

Author

anqooqie

Depends on

std::is_integral extended for tools::int128_t and tools::uint128_t (tools/is_integral.hpp)

Verified with

tests/integral.test.cpp

Code

#ifndef TOOLS_INTEGRAL_HPP
#define TOOLS_INTEGRAL_HPP

#include "tools/is_integral.hpp"

namespace tools {
  template <typename T>
  concept integral = ::tools::is_integral_v<T>;
}

#endif

#line 1 "tools/integral.hpp"



#line 1 "tools/is_integral.hpp"



#include <type_traits>

namespace tools {
  template <typename T>
  struct is_integral : ::std::is_integral<T> {};

  template <typename T>
  inline constexpr bool is_integral_v = ::tools::is_integral<T>::value;
}


#line 5 "tools/integral.hpp"

namespace tools {
  template <typename T>
  concept integral = ::tools::is_integral_v<T>;
}