Product Type Related Traits

Definition for product types traits and extension points. More...

Topics
	Record Related Traits
	Definition for kumi::record traits and extension points.
	Tuple Related Traits
	Definition for kumi::tuple traits and extension points.

Classes
struct	kumi::all_unique_names< Ints, Ts >
	Checks if a parameter pack only contains distinct kumi::field_member names. Evaluates to false if no type is a kumi::field_member. More...
struct	kumi::all_uniques< Ints, Ts >
	Checks if a parameter pack only contains distinct types. More...
struct	kumi::common_product_type< Ts >
	Extracts the common product_type of a parameter pack. More...
struct	kumi::container_size< T >
	Returns the number of elements of a kumi::static_container. More...
struct	kumi::container_type< T >
	Provides access to the type of the elements of a kumi::static_container. More...
struct	kumi::element< I, T >
	Provides indexed access to the types of the elements of a kumi::product_type. More...
struct	kumi::has_static_size< T >
	Detects if a given kumi::container instance size is static. More...
struct	kumi::is_container< T >
	Traits detecting types behaving like a kumi::container. More...
struct	kumi::is_product_type< T >
	Detects if a type follows the tuple protocol. More...
struct	kumi::is_record_type< T, Enable >
	Opt-in traits for types behaving like a kumi::product_type. More...
struct	kumi::member< I, T >
	Computes the return type of a call to kumi::get. More...
struct	kumi::raw_member< I, T >
	Computes the return type of a call to kumi::get on a kumi::tuple and unwrap the field returned by kumi::get on a kumi::record. More...
struct	kumi::size< T >
	Computes the number of elements of a kumi::product_type. More...

Variables
template<typename T>
constexpr auto	kumi::is_projection_map_v = requires { T::is_projection_map; }
	Checks if a type can be used as a kumi::projection_map.