Definition for product types related Concepts.
Concepts | |
| concept | kumi::_::std_tuple_compatible |
| Concept specifying a type is a standard tuple-like type. | |
| concept | kumi::concepts::compatible_product_types |
| Concept specifying if two product types are compatibles. | |
| concept | kumi::concepts::contains_field |
| Concept specifying if a kumi::field_capture with name Name is present in a parameter pack. | |
| 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::field_captures each of their each of their names are 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::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 containes a kumi::field_capture. | |
| concept | kumi::concepts::homogeneous_product_type |
| Concept specifying is Product Type which types are all the same. | |
| concept | kumi::concepts::index_map |
| Concept specifying if a type can be used as sequence of indexes in algorithms. | |
| concept | kumi::concepts::indexer |
| Concept specifying if a type is suitable as an index. | |
| concept | kumi::concepts::is_fully_named |
| Concept specifying if parameter pack contains only kumi::field_captures. | |
| 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 name. | |
| 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::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_display_name |
| Concept specifying if a parameter pack only holds unique kumi::str representation of the field names. | |
| concept | kumi::concepts::uniquely_named |
| Concept specifying if a parameter pack only holds unique kumi::field_capture names. | |
| concept | kumi::concepts::uniquely_typed |
| Concept specifying if a parameter pack only holds unique types. | |
| concept | kumi::concepts::unit_type |
| Concept specifying a type represent a Unit Type. | |
