ReductionTraits.hpp

#pragma once
 
#include <type_traits>
 
template<typename T>
struct ReductionTraits
{
    using sum_type = T;
    using prod_type = T;
};
 
template<typename T>
using reduction_sum_t =
    typename ReductionTraits<std::remove_cvref_t<T>>::sum_type;
 
template<typename T>
using reduction_prod_t =
    typename ReductionTraits<std::remove_cvref_t<T>>::prod_type;