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 product type Ts models typed_get_compliant if it's members 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 _::can_get_field_by_type<Type, element_t<I, T>...>;
    }(std::make_index_sequence<size_v<T>>{})