#include <traits.hpp>

Concept definition

template<typename F>
concept yorch::detail::inferable_direct_output_callable = 
    bind_callable<F> &&
    !member_bind_callable<F> &&
    function_traits<std::remove_cvref_t<F>>::arity > 0 &&
    direct_out_arg_like<last_arg_t<std::remove_cvref_t<F>>>

Detailed Description

Definition at line 198 of file traits.hpp.