kumi::compatible_product_types Concept Reference

Concept specifying if two product types are compatibles. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if two product types are compatibles.

A pack of types Ts models kumi::compatible_product_types if it models kumi::follows_same_semantic and if all types model kumi::equivalent if the types are record types

Concept definition

template<typename T, typename... Us>
concept kumi::compatible_product_types =  (follows_same_semantic<T,Us...> 
    && ((!record_type<T>) || (equivalent<std::remove_cvref_t<T>, std::remove_cvref_t<Us>> && ...)))