Remove now-redundant checks for boolean types in various concepts

Author: trflynn89

fly/types/bit_stream/detail/bit_stream_concepts.hpp

@@ -12,8 +12,7 @@ namespace fly::detail {
  * Concept that is satisfied if the given type is an unsigned integral type.
  */
 template <typename T>
-concept BitStreamInteger =
-    fly::UnsignedIntegral<std::remove_cvref_t<T>> && !std::same_as<std::remove_cvref_t<T>, bool>;
+concept BitStreamInteger = fly::UnsignedIntegral<T>;
 
 /**
  * Concept that is satisfied if the given type is the bit stream buffer type.

fly/types/json/json_concepts.hpp

@@ -121,19 +121,19 @@ concept JsonBoolean = std::same_as<std::remove_cvref_t<T>, json_boolean_type>;
  * Concept that is satisfied when the given type is a signed JSON number type.
  */
 template <typename T>
-concept JsonSignedInteger = fly::SignedIntegral<std::remove_cvref_t<T>> && !JsonBoolean<T>;
+concept JsonSignedInteger = fly::SignedIntegral<T>;
 
 /**
  * Concept that is satisfied when the given type is an unsigned JSON number type.
  */
 template <typename T>
-concept JsonUnsignedInteger = fly::UnsignedIntegral<std::remove_cvref_t<T>> && !JsonBoolean<T>;
+concept JsonUnsignedInteger = fly::UnsignedIntegral<T>;
 
 /**
  * Concept that is satisfied when the given type is a JSON floating-point number type.
  */
 template <typename T>
-concept JsonFloatingPoint = fly::FloatingPoint<std::remove_cvref_t<T>>;
+concept JsonFloatingPoint = fly::FloatingPoint<T>;
 
 /**
  * Concept that is satisfied when the given type is a JSON number type.

fly/types/numeric/detail/endian_concepts.hpp

@@ -14,9 +14,7 @@ namespace fly::detail {
 template <typename T>
 concept EndianInteger = requires
 {
-    requires std::is_integral_v<std::remove_cvref_t<T>>;
-
-    requires !std::same_as<std::remove_cvref_t<T>, bool>;
+    requires fly::Integral<T>;
 
     requires fly::SizeOfTypeIs<T, 1> || fly::SizeOfTypeIs<T, 2> || fly::SizeOfTypeIs<T, 4> ||
         fly::SizeOfTypeIs<T, 8>;

fly/types/string/detail/string_concepts.hpp

@@ -65,13 +65,13 @@ concept FormattableBoolean = std::same_as<bool, std::remove_cvref_t<T>>;
  * types.
  */
 template <typename T>
-concept FormattableIntegral = std::is_integral_v<std::remove_cvref_t<T>> && !FormattableBoolean<T>;
+concept FormattableIntegral = fly::Integral<T>;
 
 /**
  * Concept that is satisfied when the given type is a formattable floating-point type.
  */
 template <typename T>
-concept FormattableFloatingPoint = std::is_floating_point_v<std::remove_cvref_t<T>>;
+concept FormattableFloatingPoint = fly::FloatingPoint<T>;
 
 /**
  * Concept that is satisfied when the given type is a formattable user-defined type.