Detailed Description

Concept specifying if a type is comparable for each of its components.

A type T models kumi::equality_comparable<T,U> if it is a non-product type which satisfies std::equality_comparable_with<T,U> or if it's a product type where each of its elements satisfies kumi::equality_comparable for all their respective elements.

Concept definition

template<typename T, typename U>

concept kumi::equality_comparable = (size_v<T> == size_v<U>) && _::check_equality<T,U>()

kumi::equality_comparable

Concept specifying if a type is comparable for each of its components.

Definition concepts.hpp:96

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

	kumi v3.1.0 Exquisite Epidote