xieite::type_list::all<>

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

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

Checks if all of Ts satisfy some functor.

Definition

template<auto pred>
static constexpr bool all = xieite::is_satisfd_all<pred, Ts...>;

Example

int main() {
	using List = xieite::type_list<int, char, short, long>;

	// Check if all elements are integer types
	xieite::dump(List::all<[]<std::integral> {}>);
}

Output:

true

[View in Compiler Explorer]