kumi::concepts::uniquely_labeled Concept Reference

Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate kumi::str representation of their respective names. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate kumi::str representation of their respective names.

Concept definition

    template<typename... Ts>
    concept uniquely_labeled =
      (sizeof...(Ts) == 0) || (fully_named<Ts...> && (all_uniques_v<kumi_implementation_defined...>))