kumi::concepts::queryable_by_label Concept Reference

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

#include <kumi/utils/concepts.hpp>

Detailed Description

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

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

Concept definition

    template<typename L, typename T>
    concept queryable_by_label = kumi_implementation_defined && product_type<T> && []<std::size_t... I>(std::index_sequence<I...>) {
      return kumi_implementation_defined;
    }(std::make_index_sequence<size_v<T>>{})