KUMI v3.1.0
Exquisite Epidote
Loading...
Searching...
No Matches
kumi::concepts::unique_label 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 unique_label =
(sizeof...(Ts) == 0) || (is_fully_named<Ts...> && (all_uniques_v<kumi_implementation_defined...>))
Concept specifying if parameter pack is only composed of kumi::concepts::field.
Definition concepts.hpp:312
Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate kumi::str r...
Definition concepts.hpp:340