xieite::type_list::xform<>

`xieite::type_list<Ts...>::xform<>`

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 = /* xieite::type_list<???> */;

Example

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

	using Bar = Foo::xform<2, []<typename T, typename U> {
		return std::type_identity<std::pair<T, U>>();
	}>;

	xieite::dump(xieite::name<Bar>());
}

Possible output:

xieite::type_list<std::pair<int, char>, std::pair<float, double>, std::pair<void, bool>>

[View in Compiler Explorer]