Aleph::PredicateWith Concept Reference

f(args...) is a valid call whose result is usable as a condition. More...

#include <ah-concepts.H>

Concept definition

template<typename F, typename... Args>
concept Aleph::PredicateWith = 
      CallableWith<F, Args...> and
      requires(F && f, Args &&... args)
        {
          static_cast<bool>(std::forward<F>(f)(std::forward<Args>(args)...));
        }

Detailed Description

f(args...) is a valid call whose result is usable as a condition.

Mirrors if (f(args...)) or not f(args...): the result only needs to be contextually convertible to bool. This is deliberately weaker than std::predicate, which demands an implicit conversion and would reject results with only an explicit operator bool() (such as std::optional or smart pointers) that those call sites accept.

Template Parameters

F	callable type, including its reference/const category.
Args	argument types, including their reference/const category.

Definition at line 480 of file ah-concepts.H.