xieite::type_list::satisfies<>

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

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

Checks if Ts satisfy some functor.

Definition

template<auto pred>
static constexpr bool satisfies = xieite::is_satisfied<pred, Ts...>;

Example

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

	// Check if all elements are the same
	xieite::dump(List::satisfies<[]<typename T, std::same_as<T>...> {}>);
}

Output:

true

[View in Compiler Explorer]