kumi::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 kumi::entirely_uniquely_named =  (sizeof...(Ts)==0) 
  || (is_fully_named<Ts...> && uniquely_named<Ts...>)