Determines whether a type can be used on both sides of operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones. More...

#include <operators.hpp>

Concept definition

template<class T, class TCombineResult std::remove_cvref_t<T>, class TAssignResult std::remove_cvref_t<T>&>
concept sl::concepts::fully_arithmetical_r =  negate_r<T, TCombineResult>
                            && arithmetically_combinable_r<T, TCombineResult>
                            && arithmetically_assignable_r<T, TAssignResult>

Detailed Description

Determines whether a type can be used on both sides of operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones.

Template Parameters

T	The type to check
TCombineResult	The expected return type of combining operations
TAssignResult	The expected return type of assigning operations