kumi::concepts::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::concepts::follows_same_semantic if all of the types are following the product type semantic and none the record type semantic or if they all follow the record type semantic.

Concept definition

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