kumi::concepts::queryable_by_identifier Concept Reference

Concept specifying if a product type can be queried via a get<identifier>. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a product type can be queried via a get<identifier>.

A type T models queryable_by_identifier if it's a kumi::concepts::product_type with it's element modeling kumi::concepts::uniquely_named and a field with the same identifier as the template parameter Id can be found inside.

Concept definition

    template<typename Id, typename T>
    concept queryable_by_identifier =
      kumi::concepts::identifier<Id> && kumi::concepts::product_type<T> && can_query<kumi_implementation_defined, Id, T>()