Determines whether two types can be used in operator &, |, ^, &=, |=, ^= and ~ 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_logical_with_r =  complemented_r<TLhs, TCombineResult>
                                    && logically_combinable_with_r<TLhs, TRhs, TCombineResult>
                                    && logically_assignable_with_r<TLhs, TRhs, TAssignResult>

Detailed Description

Determines whether two types can be used in operator &, |, ^, &=, |=, ^= and ~ 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