Template Struct is_compatible_integer_type_impl< RealIntegerType, CompatibleNumberIntegerType, enable_if_t< std::is_integral< RealIntegerType >::value and std::is_integral< CompatibleNumberIntegerType >::value and not std::is_same< bool, CompatibleNumberIntegerType >::value > >

Struct Documentation

template<typename RealIntegerType, typename CompatibleNumberIntegerType>
struct is_compatible_integer_type_impl<RealIntegerType, CompatibleNumberIntegerType, enable_if_t<std::is_integral<RealIntegerType>::value and std::is_integral<CompatibleNumberIntegerType>::value and not std::is_same<bool, CompatibleNumberIntegerType>::value>>

Public Types

using RealLimits = std::numeric_limits<RealIntegerType>
using CompatibleLimits = std::numeric_limits<CompatibleNumberIntegerType>

Public Static Attributes

static constexpr auto value = std::is_constructible<RealIntegerType, CompatibleNumberIntegerType>::value and CompatibleLimits::is_integer and RealLimits::is_signed == CompatibleLimits::is_signed