is_satisfied_by_all< predicate, T > Struct Template Reference

Checks if every type in a pack satisfies a specified compile-time predicate. More...

#include <chsvmath.h>

Inheritance diagram for is_satisfied_by_all< predicate, T >:

Collaboration diagram for is_satisfied_by_all< predicate, T >:

Detailed Description

template<template< class... > class predicate, class... T>
struct Chusov::Math::is_satisfied_by_all< predicate, T >

Checks if every type in a pack satisfies a specified compile-time predicate.

Template Parameters

predicate	is a template which consequently receives types of the pack T. It must provide a compile-time constant value of thebool type to reflect the property of types of the pack to check. The predicate must be unary.
T	is a type parameter pack.

As a result, the class is_satisfied_by_all inherits from either std::true_type or std::false_type, depending on a value produced by logical_and for values obtained by applying the predicate to the types of pack T.

See also

is_satisfied_by_one;
logical_and;
std::integral_constant;
accumulate.

Examples

chsvmath\is_satisfied_by_all_make_Nary.cpp.

---

The documentation for this struct was generated from the following file:

• chsvmath.h