xieite::type_list<Ts...>::xform_flat<>

Defined in header <xieite/meta/type_list.hpp>

Instantiates another template with the elements of a xieite::type_list {} as the arguments.


Declaration

 
template<std::size_t arity, auto fn>
requires(!(sizeof...(Ts) % arity))
using xform_flat = /* xieite::type_list<???> */;


Example

 
int main() {
	using Foo = xieite::type_list<int, char, float, double, void, bool>;

	// Swap every 2 elements
	using Bar = Foo::xform_flat<2, []<typename T, typename U> {
		return std::type_identity<std::pair<U, T>>();
	}>;

	xieite::dump(xieite::name<Bar>());
}
Possible output: 
xieite::type_list<char, int, double, float, bool, void>
[View in Compiler Explorer]