kumi::homogeneous_product_type Concept Reference

Concept specifying is Product Type which types are all the same. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying is Product Type which types are all the same.

A type T models kumi::homogenous_product_type if it models kumi::product_type and contains member of a single, unique type.

Concept definition

template<typename T>
concept kumi::homogeneous_product_type =  product_type<T> && is_homogeneous_v<std::remove_cvref_t<T>>