Determines whether two types can be used in operator ^ 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::exclusive_disjunctive_with_r =  requires(TLhs lhs, TRhs rhs)
    {
        { lhs ^ rhs } -> std::convertible_to<TResult>;
    }

Detailed Description

Determines whether two types can be used in operator ^ 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