Tuple Related Traits

Definition for kumi::tuple traits and extension points. More...

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::element< I, T >
	Provides indexed access to the types of the elements of a kumi::product_type. More...
struct	kumi::is_homogeneous< T >
	Detects if a given kwk::product_type instance is homogeneous. More...
struct	kumi::is_product_type< T, Enable >
	Opt-in traits for types behaving like a kumi::product_type. 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_element< I, T >
	Provides indexed access to the types of the elements of a kumi::product_type and unwraps the returned field_capture for kumi::record_type. 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_capture returned by kumi::get on a kumi::record. More...
struct	kumi::size< T >
	Computes the number of elements of a kumi::product_type. More...

Functions
template<product_type... Ts>
constexpr auto	kumi::common_product_type (Ts...)
	Extracts the common product_type of a parameter pack, if all the types are record then it returns an empty record, otherwise returns an empty kumi::tuple

Variables
template<typename T >
constexpr bool	kumi::is_field_capture_v = requires { T::is_field_capture; }
	Checks if a type is a kumi::field_capture.
template<typename T >
constexpr auto	kumi::is_index_map_v = requires { T::is_index_map; }
	Checks if a type can be used as a kumi::index_map.