kumi::empty_product_type Concept Reference

Concept specifying a type follows the Product Type semantic and is empty. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying a type follows the Product Type semantic and is empty.

A type T models kumi::empty_product_type if it models kumi::product_type and has no elements.

Concept definition

template<typename T>
concept kumi::empty_product_type =  product_type<T> && (size_v<std::remove_cvref_t<T>> == 0)