kumi::follows_same_semantic Concept Reference

Concept specifying if a pack of types follows the same semantic. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a pack of types follows the same semantic.

A pack of type Ts models kumi::follows_same_semantic if all of the types comply to the product type semantic and none comply to the record type semantic or if they all comply to the record type semantic.

Concept definition

template<typename... Ts>
concept kumi::follows_same_semantic =  (( product_type<Ts> && !record_type<Ts>) && ... ) 
    || ((record_type<Ts> && ...))