yorch::detail::bind_into_signature_matches Concept Reference

#include <traits.hpp>

Concept definition

template<typename T, typename F, typename... Specs>
concept yorch::detail::bind_into_signature_matches = 
    inferable_direct_output_callable<F> &&
    function_traits<std::remove_cvref_t<F>>::arity == sizeof...(Specs) + 1 &&
    std::is_same_v<
        std::remove_cvref_t<last_arg_t<std::remove_cvref_t<F>>>,
        direct_out<T>>

Detailed Description

Definition at line 240 of file traits.hpp.