kumi::concepts::queryable_by_type 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::queryable_by_type 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 queryable_by_type =
      kumi::concepts::product_type<T> &&
      kumi_implementation_defined