Determines whether two types can be used in operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones. More...

#include <operators.hpp>

Concept definition

template<class TLhs, class TRhs, class TCombineResult std::remove_cvref_t<TLhs>, class TAssignResult std::remove_cvref_t<TLhs>&>
concept sl::concepts::fully_arithmetical_with_r =  negate_r<TLhs, TCombineResult>
                                    && arithmetically_combinable_with_r<TLhs, TRhs, TCombineResult>
                                    && arithmetically_assignable_with_r<TLhs, TRhs, TAssignResult>

Detailed Description

Determines whether two types can be used in operator +, -, *, /, +=, -=, *=, /= and unary - expressions and if the return types are convertible to the expected ones.

Template Parameters

TLhs	The left-hand-side type
TRhs	the right-hand-side-type
TCombineResult	The expected return type of combining operations
TAssignResult	The expected return type of assigning operations