eve::combinable_to Concept Reference

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

#include <eve/concept/combinable.hpp>

Concept definition

template<typename Tgt, typename W0, typename W1, typename... Ws>
concept eve::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()