Concept to determine if a type can be mapped to a dom::LazyObjectImpl with a user‐provided conversion.

Synopsis

Declared in <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>;
};

Description

This concept determines if the user‐provided conversion is defined as:

template <class IO>
void tag_invoke( LazyObjectMapTag, IO&, T,  Context const& );

Created with MrDocs