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



template<template<typename> class Predicate>
[[nodiscard]] static constexpr bool none_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 false for every 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<float, double, long double>;

    static_assert(tl::none_of<std::is_integral>());
}