mrdocs::dom::has_invoke_expected_result_convertible_to_dom_value

Concept true when F returns Expected<dom::Value> or Expected<void>.

Synopsis

Declared in <mrdocs/Dom/Function.hpp>

template<typename F>
concept has_invoke_expected_result_convertible_to_dom_value = polyfill::detail::isExpected<typename function_traits<F>::return_type> &&
    (std::convertible_to<typename function_traits<F>::return_type::value_type, Value> ||
     std::same_as<typename function_traits<F>::return_type::value_type, void>);