kumi::concepts::entirely_uniquely_named Concept Reference

Concept specifying if a parameter pack only holds kumi::field_captures each of their each of their names are unique! More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a parameter pack only holds kumi::field_captures each of their each of their names are 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...>)