is_predicate

Description

A predicate is a function object that returns a boolean.

Synopsis

TICK_TRAIT(is_predicate)
{
    template<class F, class... Ts>
    auto require(F&& f, Ts&&... xs) -> valid<
        decltype(returns<bool>(f(std::forward<Ts>(xs)...)))
    >;
};