xieite ::type_list <Ts ...>::any <>
Defined in fragment xieite :type_list
(header-only:
<xieite/meta/type_list.hpp>
)
Checks if at least one element of a
xieite ::type_list
satisfies some functor.Definition
template <auto cond >static constexpr bool any =xieite ::is_satisfd_any <cond ,Ts ...>;
Example
Output:import std ;import xieite ;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 > {}>); }
true