xieite::type_list::has<>

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

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

Checks if a xieite::type_list {} contains a particular type.

template<typename T, auto cmp = []<typename U, std::same_as<U>> {}>
static constexpr bool has = (... || xieite::is_satisfd<cmp, T, Ts>);

int main() {
	using List = xieite::type_list<int, char, float, void*>;

	xieite::dump(List::has<int>);
	xieite::dump(List::has<void>);
}

Output:

true
false