xieite ::type_list <Ts ...>::any <>
Defined in header <xieite/meta/type_list.hpp>
Checks if at least one of
Ts
satisfies some functor.Definition
template <auto pred >static constexpr bool any =xieite ::is_satisfd_any <pred ,Ts ...>;
Example
Output:int main () {using List =xieite ::type_list <int ,char ,float ,void* >;// Check if any element is an integer type xieite ::dump (List ::any <[]<std ::integral > {}>); }
[View in Compiler Explorer]true