NumericTypeConcepts.h

/*
  ==============================================================================
    DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 
    Copyright 2022- by sonible GmbH.
 
    This file is part of VCTR - Versatile Container Templates Reconceptualized.
 
    VCTR is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License version 3
    only, as published by the Free Software Foundation.
 
    VCTR is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Lesser General Public License version 3 for more details.
 
    You should have received a copy of the GNU Lesser General Public License
    version 3 along with VCTR.  If not, see <https://www.gnu.org/licenses/>.
  ==============================================================================
*/
 
namespace vctr::detail
{
// clang-format off
template <class T>
struct IsNumber : std::bool_constant<std::is_arithmetic_v<T>> {};
 
template <std::floating_point T>
struct IsNumber<std::complex<T>> : std::true_type {};
 
template <class T>
struct IsComplex : std::false_type {};
 
template <std::floating_point T>
struct IsComplex<std::complex<T>> : std::true_type {};
// clang-format on
} // namespace vctr::detail
 
namespace vctr::is
{
 
template <class T>
concept number = detail::IsNumber<T>::value;
 
template <class T>
concept intNumber = std::is_integral_v<std::remove_cvref_t<T>>;
 
template <class T>
concept int32Number = intNumber<T> && sizeof (T) == 4;
 
template <class T>
concept int64Number = intNumber<T> && sizeof (T) == 8;
 
template <class T>
concept signedNumber = std::is_signed_v<std::remove_cvref_t<T>>;
 
template <class T>
concept signedIntNumber = intNumber<T> && signedNumber<T>;
 
// clang-format off
template <class T>
concept unsignedIntNumber = intNumber<T> && ! signedNumber<T>;
// clang-format on
 
template <class T>
concept realNumber = std::is_arithmetic_v<T>;
 
template <class T>
concept realFloatNumber = std::is_floating_point_v<std::remove_cvref_t<T>>;
 
template <class T>
concept complexFloatNumber = detail::IsComplex<std::remove_cvref_t<T>>::value;
 
template <class T>
concept realOrComplexFloatNumber = realFloatNumber<T> || complexFloatNumber<T>;
 
template <class T>
concept disabledConstant = std::same_as<DisabledConstant, T>;
 
} // namespace vctr::is