kumi::builder< T > Class Template Reference

kumi::builder provides a generic way of defining a product type. More...

#include <kumi/utils/builder.hpp>

Detailed Description

template<typename T>
class kumi::builder< T >

kumi::builder provides a generic way of defining a product type.

Helper structure to build the correct output product type based on the given template parameter. If the provided product type is a not a record_type the builder will output a kumi::tuple otherwise a kumi::record. One can specialize the builder for its own type matching the product type semantic.

A type for which the builder has been specialized is then suitable to be used as the return type from any algorithm.

Example

struct cplx { float re, im; };
 
template<typename T>
concept is_cplx = std::is_same_v<std::remove_cvref_t<T>,cplx>;
 
// Builder protocol
template<is_cplx T>
struct builder<T>
{
  using type = T;
 
  template<std::floating_point... Us> requires (sizeof...(Us) == 2) using to = cplx;
 
  static constexpr auto make(float r, float i)
  {
    return cplx{r,i};
  }
 
  static constexpr auto build(float r, float i) { return cplx{r,i}; }
};

Template Parameters

T	the template type to be built.