Tuple Related Concepts

Definition for product types related Concepts.

Concepts
concept	kumi::std_tuple_compatible
	Concept specifying a type is a standard tuple-like type.
concept	kumi::product_type
	Concept specifying a type follows the Product Type semantic.
concept	kumi::record_type
	Concept specifying a type follows the Record Type semantic.
concept	kumi::sized_product_type
	Concept specifying a type follows the Product Type semantic and has a known size.
concept	kumi::sized_product_type_or_more
	Concept specifying a type follows the Product Type semantic and has a size lower bound.
concept	kumi::empty_product_type
	Concept specifying a type follows the Product Type semantic and is empty.
concept	kumi::non_empty_product_type
	Concept specifying a type follows the Product Type semantic and is non-empty.
concept	kumi::index_map
	Concept specifying if a type can be used as sequence of indexes in algorithms.
concept	kumi::indexer
	Concept specifying if a type is suitable as an index.
concept	kumi::homogeneous_product_type
	Concept specifying is Product Type which types are all the same.
concept	kumi::equality_comparable
	Concept specifying if a type is comparable for each of its components.
concept	kumi::has_named_fields
	Concept specifying if parameter pack containes a kumi::field_capture.
concept	kumi::is_fully_named
	Concept specifying if parameter pack contains only kumi::field_captures.
concept	kumi::uniquely_typed
	Concept specifying if a parameter pack only holds unique types.
concept	kumi::uniquely_named
	Concept specifying if a parameter pack only holds unique kumi::field_capture names.
concept	kumi::entirely_uniquely_named
	Concept specifying if a parameter pack only holds kumi::field_captures each of their each of their names are unique!
concept	kumi::contains_type
	Concept specifying if a Type is present in a parameter pack.
concept	kumi::contains_field
	Concept specifying if a kumi::field_capture with name Name is present in a parameter pack.
concept	kumi::equivalent
	Concept specifying if two types have matching named fields.
concept	kumi::named_equality_comparable
	Concept specifying if two product types are comparable by matching name.
concept	kumi::follows_same_semantic
	Concept specifying if a pack of types follows the same semantic.
concept	kumi::compatible_product_types
	Concept specifying if two product types are compatibles.
concept	kumi::monoid
	Concept specifying a type is a Monoid