Arene Base
Fundamental Utilities For Safety Critical C++
Loading...
Searching...
No Matches
is_arithmetic.hpp
Go to the documentation of this file.
1// Copyright 2024, Toyota Motor Corporation
2//
3// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4
5#ifndef INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_ARITHMETIC_HPP_
6#define INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_ARITHMETIC_HPP_
7
8// parasoft-begin-suppress CERT_CPP-DCL58-a-2 "Part of a standard library implementation"
9// parasoft-begin-suppress AUTOSAR-A17_6_1-a-2 "Part of a standard library implementation"
10
11// IWYU pragma: private, include <type_traits>
12// IWYU pragma: friend "stdlib_detail/.*"
13
14#include "stdlib/include/stdlib_detail/integral_constant.hpp"
15#include "stdlib/include/stdlib_detail/is_floating_point.hpp"
16#include "stdlib/include/stdlib_detail/is_integral.hpp"
17
18namespace std {
19
20/// @brief A type trait to check if a type is an arithmetic type. The value is @c true if @c Type is an arithmetic type,
21/// @c false otherwise.
22/// @tparam Type The type to check
23template <typename Type>
24extern constexpr bool is_arithmetic_v = is_integral_v<Type> || is_floating_point_v<Type>;
25
26/// @brief A type trait to check if a type is arithmetic. The class is derived from @c true_type if @c Type is an
27/// arithmetic type, @c false_type otherwise.
28/// @tparam Type The type to check
29template <typename Type>
31
32} // namespace std
33
34#endif // INCLUDE_GUARD_ARENE_BASE_STDLIB_INCLUDE_STDLIB_DETAIL_IS_ARITHMETIC_HPP_
A type trait to check if a type is arithmetic. The class is derived from true_type if Type is an arit...
Definition is_arithmetic.hpp:30
constexpr bool is_arithmetic_v
A type trait to check if a type is an arithmetic type. The value is true if Type is an arithmetic typ...
constexpr auto operator()(::arene::base::result< void, E > const &value) const noexcept(noexcept(hash< E >{}(std::declval< E const & >()))) -> std::size_t
Calculate the hash of a result.
Definition result.hpp:1827