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