Product Type Related Concepts

Definition for product types related Concepts. More...

Topics
	Record Related Concepts
	Definition for kumi::record related concepts.
	Tuple Related Concepts
	Definition for kumi::tuple related concepts.

Concepts
concept	kumi::concepts::compatible_product_types
	Concept specifying if two product types are compatibles.
concept	kumi::concepts::container
	Concept specifying a type follows the Container Type semantic.
concept	kumi::concepts::contains_field
	Concept specifying if the label of a type modeling kumi::concepts::identifier is present in the parameter pack. The label is considered present if a type in Ts modeling kumi::concepts::field is labeled with the same tag as the given identifier.
concept	kumi::concepts::contains_label
	Concept specifying if the label of a type modeling kumi::concepts::identifier is present in the parameter pack. The label is considered present if a type in Ts modeling kumi::concepts::field is labeled with the same tag as the given identifier.
concept	kumi::concepts::contains_type
	Concept specifying if a Type is present in a parameter pack.
concept	kumi::concepts::empty_product_type
	Concept specifying a type follows the Product Type semantic and is empty.
concept	kumi::concepts::entirely_uniquely_named
	Concept specifying if a parameter pack only holds kumi::concepts::field. Each of their names beeing unique.
concept	kumi::concepts::equality_comparable
	Concept specifying if a type is comparable for each of its components.
concept	kumi::concepts::equivalent
	Concept specifying if two types have matching named fields.
concept	kumi::concepts::field
	Concept specifying a type represent a field.
concept	kumi::concepts::follows_same_semantic
	Concept specifying if a pack of types follows the same semantic.
concept	kumi::concepts::has_named_fields
	Concept specifying if parameter pack contains a kumi::concepts::field.
concept	kumi::concepts::homogeneous_product_type
	Concept specifying is Product Type which types are all the same.
concept	kumi::concepts::identifier
	Concept specifying a type represent an identifier.
concept	kumi::concepts::is_fully_named
	Concept specifying if parameter pack is only composed of kumi::concepts::field.
concept	kumi::concepts::monoid
	Concept specifying a type is a Monoid.
concept	kumi::concepts::named_equality_comparable
	Concept specifying if two product types are comparable by matching labels.
concept	kumi::concepts::named_get_compliant
	Concept specifying if a product type can be queried via a get<identifier>.
concept	kumi::concepts::non_empty_product_type
	Concept specifying a type follows the Product Type semantic and is non-empty.
concept	kumi::concepts::product_type
	Concept specifying a type follows the Product Type semantic.
concept	kumi::concepts::projection
	Concept specifying if a type is suitable to be used as a projection.
concept	kumi::concepts::projection_map
	Concept specifying if a type can be used as sequence of projections in algorithms.
concept	kumi::concepts::record_type
	Concept specifying a type follows the Record Type semantic.
concept	kumi::concepts::sized_product_type
	Concept specifying a type follows the Product Type semantic and has a known size.
concept	kumi::concepts::sized_product_type_or_more
	Concept specifying a type follows the Product Type semantic and has a size lower bound.
concept	kumi::concepts::static_container
	Concept specifying a type follows the Container Type semantic.
concept	kumi::concepts::typed_get_compliant
	Concept specifying if a product type can be queried via a get<type>.
concept	kumi::concepts::unique_label
	Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate kumi::str representation of their respective names.
concept	kumi::concepts::uniquely_named
	Concept specifying if a parameter pack only holds kumi::concepts::field with no duplicate names.
concept	kumi::concepts::uniquely_typed
	Concept specifying if a parameter pack only holds distinct types.
concept	kumi::concepts::unit_type
	Concept specifying a type represent a Unit Type.