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) || (!kumi::concepts::has_named_fields<Ts...> &&
                                                      kumi::all_uniques_v<std::remove_cvref_t<Ts>...>)