Determines whether a type can be used on both sides of operator &, | and ^ expressions and if the return type is convertible to the expected one. More...

#include <operators.hpp>

Concept definition

template<class T, class TResult std::remove_cvref_t<T>>
concept sl::concepts::logically_combinable_r =  conjunctive_r<T, TResult>
                                    && disjunctive_r<T, TResult>
                                    && exclusive_disjunctive_r<T, TResult>

Detailed Description

Determines whether a type can be used on both sides of operator &, | and ^ expressions and if the return type is convertible to the expected one.

Template Parameters

T	The type to check
TResult	The expected return type