kumi::common_product_type< Ts > Struct Template Reference

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. As we are unable to compute the Least Restrictive Subtypes of a pack, this trait should be specialized for each case one would want to write. More...

#include <kumi/utils/builder.hpp>

Detailed Description

template<typename... Ts>
struct 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. As we are unable to compute the Least Restrictive Subtypes of a pack, this trait should be specialized for each case one would want to write.

Template Parameters

Ts	The product_types to access

Helper type

namespace kumi::result
{
  template<typename... Ts> using common_product_type_t
      = typename common_product_type<Ts...>::type;
}