sl::concepts::fully_logical_r Concept Reference

Determines whether a type can be used on both sides of operator &, |, ^, &=, |=, ^= and ~ expressions and if the return types are convertible to the expected ones. More...

#include <operators.hpp>

Concept definition

template<class T, class TCombineResult std::remove_cvref_t<T>, class TAssignResult std::remove_cvref_t<T>&>
concept sl::concepts::fully_logical_r =  complemented_r<T, TCombineResult>
                            && logically_combinable_r<T, TCombineResult>
                            && logically_assignable_r<T, TAssignResult>

Detailed Description

Determines whether a type can be used on both sides of operator &, |, ^, &=, |=, ^= and ~ expressions and if the return types are convertible to the expected ones.

Template Parameters

T	The type to check
TCombineResult	The expected return type of combining operations
TAssignResult	The expected return type of assigning operations