Concept to determine if a type can be mapped to a dom::LazyObjectImpl with a user-provided conversion.
<mrdocs/Dom/LazyObject.hpp>
template<
class T,
class Context>
concept HasLazyObjectMapWithContext = requires(
detail::ArchetypalIO& io,
T const& t,
Context const& ctx)
{
{ tag_invoke(LazyObjectMapTag{}, io, t, ctx) } -> std::same_as<void>;
};
This concept determines if the user-provided conversion is defined as:
template <class IO>
void tag_invoke( LazyObjectMapTag, IO&, T, Context const& );