kumi::concepts::contains_field 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 Name, typename... Ts>
    concept contains_field = identifier<Name> && kumi_implementation_defined