kumi::concepts::contains_label Concept Reference

Concept specifying if the label of a type modeling kumi::concepts::identifier is present in the parameter pack. The label is considered present if a type in Ts modeling kumi::concepts::field is labeled with the same tag as the given identifier. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if the label of a type modeling kumi::concepts::identifier is present in the parameter pack. The label is considered present if a type in Ts modeling kumi::concepts::field is labeled with the same tag as the given identifier.

Concept definition

    template<typename Label, typename... Ts>
    concept contains_label = std::is_same_v<std::remove_cvref_t<decltype(std::remove_cvref_t<Label>::value)>, str> &&
                             kumi_implementation_defined