templa::concepts::requires_all Concept Reference

Concept satisfied only if all boolean conditions are true. More...

#include <concepts.hpp>

Concept definition

template<bool... Cs>
concept templa::concepts::requires_all =  (Cs && ...)

Detailed Description

Concept satisfied only if all boolean conditions are true.

This concept is useful for requiring that a pack of boolean values (typically std::is_*::value expressions) are all true.

Example

template <typename T, typename U>
requires requires_all<std::is_integral_v<T>, std::is_integral_v<U>>
void do_something(T, U);