kumi::concepts::equivalent Concept Reference

Concept specifying if two types have matching named fields. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if two types have matching named fields.

A type T models kumi::concepts::equivalent<T,U> if it is a kumi::concepts::product_type with the same number of fields as U, and each of them has a corresponding field in U. Corresponding field means that the labels of the fields in T matches those of U.

Concept definition

    template<typename T, typename U>
    concept equivalent = (size_v<T> == size_v<U>) && kumi_implementation_defined