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



template<template<typename> class Predicate>
[[nodiscard]] static constexpr bool all_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 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<int, long, char>;

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