eve::combinable_to Concept Reference

Checks that the types passed can be passed to eve::combine and that the resulting type would be Tgt. More...

Detailed Description

Checks that the types passed can be passed to eve::combine and that the resulting type would be Tgt.

Concept definition

  template<typename Tgt, typename W0, typename W1, typename... Ws>
  concept combinable_to = combinable<W0, W1, Ws...>
                          && simd_value<Tgt>
                          && std::same_as<typename W0::value_type, typename Tgt::value_type>
                          && (W0::size() * (sizeof...(Ws) + 2)) == Tgt::size()