ConceptC++ Concept Web

Concept BinaryPredicate

auto concept BinaryPredicate<typename F, typename T1, typename T2> : Callable2 {
  requires Convertiblebool>;
};

Where Defined

#include <concepts>

Description

The BinaryPredicate concept requires that a function object be callable with two arguments, 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.