Concept for unsigned integral types including tools::uint128_t (tools/unsigned_integral.hpp)

• View this file on GitHub
• View document part on GitHub
• Last update: 2025-12-14 14:57:31+09:00
• Include: #include "tools/unsigned_integral.hpp"

template <typename T>
concept unsigned_integral = tools::integral<T> && tools::is_unsigned_v<T>;

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

Constraints

• None

Time Complexity

• Not applicable

License

• CC0

Author

• anqooqie

Depends on

• Concept for integral types including tools::int128_t and tools::uint128_t (tools/integral.hpp)
• std::is_integral extended for tools::int128_t and tools::uint128_t (tools/is_integral.hpp)
• std::is_unsigned extended for tools::int128_t and tools::uint128_t (tools/is_unsigned.hpp)

Required by

• Arbitrary precision floating-point number (tools/bigdecimal.hpp)
• Arbitrary precision integer (tools/bigint.hpp)
• Rational number (tools/rational.hpp)

Verified with

• tests/bigdecimal/cast_to_long_long.test.cpp
• tests/bigdecimal/divides.test.cpp
• tests/bigdecimal/hand.test.cpp
• tests/bigdecimal/minus.test.cpp
• tests/bigdecimal/multiplies.test.cpp
• tests/bigdecimal/plus.test.cpp
• tests/bigdecimal/random.test.cpp
• tests/bigdecimal/rounding.test.cpp
• tests/bigint/divides.test.cpp
• tests/bigint/extgcd.test.cpp
• tests/bigint/gcd.test.cpp
• tests/bigint/minus.test.cpp
• tests/bigint/modulus.test.cpp
• tests/bigint/multiplies.test.cpp
• tests/bigint/plus.test.cpp
• tests/directed_line_segment_2d/cross_point.test.cpp
• tests/directed_line_segment_2d/crosses.test.cpp
• tests/directed_line_segment_2d/intersection.test.cpp
• tests/directed_line_segment_2d/squared_distance.test.cpp
• tests/fastio/string.test.cpp
• tests/gcd.test.cpp
• tests/groups.test.cpp
• tests/line_2d/projection.test.cpp
• tests/monoids.test.cpp
• tests/polygon_2d/area.test.cpp
• tests/rational/minus.test.cpp
• tests/rational/multiplies.test.cpp
• tests/rational/plus.test.cpp
• tests/rational/random.test.cpp
• tests/triangle_2d/circumcircle/rational.test.cpp

Code

#ifndef TOOLS_UNSIGNED_INTEGRAL_HPP
#define TOOLS_UNSIGNED_INTEGRAL_HPP

#include "tools/integral.hpp"
#include "tools/is_unsigned.hpp"

namespace tools {
  template <typename T>
  concept unsigned_integral = tools::integral<T> && tools::is_unsigned_v<T>;
}

#endif

#line 1 "tools/unsigned_integral.hpp"



#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>;
}


#line 1 "tools/is_unsigned.hpp"



#line 5 "tools/is_unsigned.hpp"

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

  template <typename T>
  inline constexpr bool is_unsigned_v = tools::is_unsigned<T>::value;
}


#line 6 "tools/unsigned_integral.hpp"

namespace tools {
  template <typename T>
  concept unsigned_integral = tools::integral<T> && tools::is_unsigned_v<T>;
}

Back to top page