kumi::concepts::uniquely_named Concept Reference

Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate names. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate names.

Concept definition

    template<typename... Ts>
    concept uniquely_named = (sizeof...(Ts) == 0) || (kumi::concepts::has_named_fields<Ts...> &&
                                                      kumi::all_unique_names_v<std::remove_cvref_t<Ts>...>)