kumi::concepts::uniquely_typed Concept Reference

Concept specifying if a parameter pack only holds distinct types. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a parameter pack only holds distinct types.

Concept definition

    template<typename... Ts>
    concept uniquely_typed =
      (sizeof...(Ts) == 0) || (!has_named_fields<Ts...> && all_uniques_v<std::remove_cvref_t<Ts>...>)