Loading [MathJax]/extensions/tex2jax.js
kumi v3.1.0
Exquisite Epidote
 
•All Classes Namespaces Functions Variables Friends Modules Pages Concepts
Loading...
Searching...
No Matches
kumi::homogeneous_product_type Concept Reference
Tuple Related Concepts

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>>
kumi::homogeneous_product_type
Concept specifying is Product Type which types are all the same.
Definition concepts.hpp:73
kumi::product_type
Concept specifying a type follows the Product Type semantic.
Definition concepts.hpp:33
kumi::from_tuple
constexpr auto from_tuple(tuple< Ts... > const &t)
Converts a kumi::tuple to an instance of an arbitrary type.
Definition convert.hpp:59