sl::concepts::logically_combinable_with_r Concept Reference

Determines whether two types can be used in operator &, | amd ^ expressions and if the return type is convertible to the expected one. More...

#include <operators.hpp>

Concept definition

template<class TLhs, class TRhs, class TResult std::remove_cvref_t<TLhs>>
concept sl::concepts::logically_combinable_with_r =  conjunctive_with_r<TLhs, TRhs, TResult>
                                        && disjunctive_with_r<TLhs, TRhs, TResult>
                                        && exclusive_disjunctive_with_r<TLhs, TRhs, TResult>

Detailed Description

Determines whether two types can be used in operator &, | amd ^ expressions and if the return type is convertible to the expected one.

Template Parameters

TLhs	The left-hand-side type
TRhs	the right-hand-side-type
TResult	The expected return type