xieite::type_list::find<>

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

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

Finds the first element in Ts that satisfies some functor.

Definition

template<auto pred>
requires(xieite::is_satisfd_any<pred, Ts...>)
using find = xieite::type_list<Ts...>::at<xieite::type_list<Ts...>::find_idx<pred>>;

Example

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

	xieite::dump(xieite::type_name<List::find<[]<std::floating_point> {}>>);
}

Possible output:

float

[View in Compiler Explorer]