kumi::record_type Concept Reference

Concept specifying a type follows the Record Type semantic. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying a type follows the Record Type semantic.

A type T models kumi::record_type if it opts in for the Record Type semantic. A kumi::record_type also models kumi::product_type

Concept definition

template<typename T>
concept kumi::record_type =  product_type<T> && is_record_type<std::remove_cvref_t<T>>::value