kumi::concepts::entirely_uniquely_named Concept Reference

Concept specifying if a parameter pack only holds kumi::concepts::field. Each of their names beeing unique. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a parameter pack only holds kumi::concepts::field. Each of their names beeing unique.

Note

If there are no element in the parameter pack the concept returns true

Concept definition

    template<typename... Ts>
    concept entirely_uniquely_named = (sizeof...(Ts) == 0) || (is_fully_named<Ts...> && uniquely_named<Ts...>)