ConceptC++ Concept Web

Concept Predicate

auto concept Predicate<typename F, typename T1> : Callable1 {
  requires Convertiblebool>;
};

Where Defined

#include <concepts>

Description

The Predicate concept requires that a function object be callable with a single argument, the result of which can be used in a context that requires a bool. Predicate function objects shall not apply any non-constant function through the predicate arguments.