kumi::concepts::typed_get_compliant Concept Reference

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

#include <kumi/utils/concepts.hpp>

Detailed Description

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

A type T models kumi::concepts::typed_get_compliant if it's fields are uniquely typed. For a record_type it inspects the underlying type of the fields.

Concept definition

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