yorch::detail::member_bound_into_signature_matches Concept Reference

#include <traits.hpp>

Concept definition

template<typename T, typename F, typename... Specs>
concept yorch::detail::member_bound_into_signature_matches = 
    inferable_direct_output_member_callable<F> &&
    member_function_traits<std::remove_cvref_t<F>>::arity == sizeof...(Specs) + 1 &&
    std::is_same_v<
        std::remove_cvref_t<member_last_arg_t<std::remove_cvref_t<F>>>,
        direct_out<T>>

Detailed Description

Definition at line 248 of file traits.hpp.