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) ||
      (kumi::concepts::fully_named<Ts...> &&
       (kumi::all_uniques_v<std::integral_constant<kumi::str, std::remove_cvref_t<Ts>::label()>...>))