common.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_COMPLEX_COMMON_H
#define pRC_CORE_COMPLEX_COMMON_H
 
#include <prc/core/complex/complex.hpp>
#include <prc/core/value/value.hpp>
 
namespace std
{
    template<class T, class U>
        requires pRC::HasCommon<T, U>
    struct common_type<pRC::Complex<T>, pRC::Complex<U>>
    {
        using type = pRC::Complex<pRC::Common<T, U>>;
    };
 
    template<class T, pRC::IsValue U>
        requires pRC::HasCommon<T, U>
    struct common_type<pRC::Complex<T>, U>
    {
        using type = pRC::Complex<pRC::Common<T, U>>;
    };
 
    template<pRC::IsValue T, class U>
        requires pRC::HasCommon<T, U>
    struct common_type<T, pRC::Complex<U>>
    {
        using type = pRC::Complex<pRC::Common<T, U>>;
    };
}
#endif // pRC_CORE_COMPLEX_COMMON_H