cmoon::meta::type_list<Types...>::any_of





template<template<typename> class Predicate>
[[nodiscard]] static constexpr bool any_of() noexcept;


(1)

Checks every type against the given predicate as such: Predicate<Types>::value.

Parameters

(none)

Return value

true if Predicate<Types>::value is true for any type in Types..., false otherwise.

Exceptions

This function never throws exceptions

Complexity

Constant.

Example



import <type_traits>;

import cmoon.meta;

int main()
{
    using tl = cmoon::meta::type_list<int, long, char, float>;

    static_assert(tl::any_of<std::is_floating_point>());
}