libbmb
Modern implementation of STL
Loading...
Searching...
No Matches
bmb::Predicate Concept Reference

Predicate. More...

#include <concepts.h>

Concept definition

template<typename F, typename... Args>
concept bmb::Predicate = Invocable<F, Args...> && ConvertibleTo<invoke_result_t<F, Args...>, bool>
bmb::ConvertibleTo
ConvertibleTo.
Definition concepts.h:78
bmb::Invocable
Invocable.
Definition concepts.h:82
bmb::Predicate
Predicate.
Definition concepts.h:87
bmb::invoke_result_t
invoke_result< F, Args... >::type invoke_result_t
invoke_result_t
Definition type_traits.h:298
bmb::forward
constexpr T && forward(remove_ref_t< T > &value) noexcept
Forward a lvalue.
Definition move.h:33

Detailed Description

Predicate.