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 follow the record type semantic or if they all follow the record type semantic.

Concept definition

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