feat: make the reflection consumers public

The five private headers from src/lib/Support/Reflection/ are
consolidated into a single public include/mrdocs/Support/Reflection.hpp.

Shared type traits (is_optional, is_vector) move to the existing
Support/TypeTraits.hpp.

The tag_invoke overloads from the centralized Reflection.cpp are
distributed into per-type .cpp files.

The src/lib/Support/Reflection/ directory is deleted entirely.

Author: gennaroprota

include/mrdocs/Support/Reflection.hpp

@@ -12,11 +12,35 @@
 #ifndef MRDOCS_API_SUPPORT_TYPETRAITS_HPP
 #define MRDOCS_API_SUPPORT_TYPETRAITS_HPP
 
+#include <mrdocs/ADT/Optional.hpp>
 #include <type_traits>
+#include <vector>
 
 
 namespace mrdocs {
 
+namespace detail {
+
+template <typename T>
+struct is_optional : std::false_type {};
+
+template <typename T>
+struct is_optional<Optional<T>> : std::true_type {};
+
+template <typename T>
+inline constexpr bool is_optional_v = is_optional<T>::value;
+
+template <typename T>
+struct is_vector : std::false_type {};
+
+template <typename T, typename A>
+struct is_vector<std::vector<T, A>> : std::true_type {};
+
+template <typename T>
+inline constexpr bool is_vector_v = is_vector<T>::value;
+
+} // namespace detail
+
 /** Return the value as its underlying type.
 
     @param value The enum value to convert

include/mrdocs/Support/TypeTraits.hpp

@@ -20,9 +20,9 @@
 #include <lib/Diagnostics.hpp>
 #include <lib/Support/Path.hpp>
 #include <lib/Support/Radix.hpp>
-#include <lib/Support/Reflection/MergeReflectedType.hpp>
 #include <mrdocs/Metadata.hpp>
 #include <mrdocs/Support/Algorithm.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <mrdocs/Support/ScopeExit.hpp>
 #include <clang/AST/AST.h>
 #include <clang/AST/Attr.h>

src/lib/AST/ASTVisitor.cpp

@@ -22,12 +22,12 @@
 #include <lib/Metadata/Finalizers/NamespacesFinalizer.hpp>
 #include <lib/Metadata/Finalizers/OverloadsFinalizer.hpp>
 #include <lib/Metadata/Finalizers/SortMembersFinalizer.hpp>
-#include <lib/Support/Reflection/EnumToString.hpp>
 #include <lib/Support/Chrono.hpp>
 #include <lib/Support/Report.hpp>
 #include <mrdocs/Metadata.hpp>
 #include <mrdocs/Support/Algorithm.hpp>
 #include <mrdocs/Support/Error.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <mrdocs/Support/ThreadPool.hpp>
 #include <chrono>
 

src/lib/CorpusImpl.cpp

@@ -16,8 +16,7 @@
 #include <mrdocs/Metadata/Type.hpp>
 #include <mrdocs/Metadata/Template.hpp>
 #include <mrdocs/Metadata/DocComment.hpp>
-#include <lib/Support/Reflection/EnumToString.hpp>
-#include <lib/Support/Reflection/ReadableTypeName.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <string>
 #include <string_view>
 #include <type_traits>

src/lib/Gen/xml/XMLWriter.cpp

@@ -15,6 +15,7 @@
 #include <mrdocs/Metadata/DocComment.hpp>
 #include <mrdocs/Metadata/DocComment/Inline/Parts.hpp>
 #include <mrdocs/Metadata/DomCorpus.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <llvm/Support/Error.h>
 #include <llvm/Support/Path.h>
 #include <format>
@@ -180,5 +181,52 @@ append(DocComment&& other)
         });
 }
 
+template <typename IO>
+void
+tag_invoke(
+    dom::LazyObjectMapTag,
+    IO& io,
+    DocComment const& I,
+    DomCorpus const* domCorpus)
+{
+    addMetaObject<DocComment>(io);
+
+    describe::for_each(describe::describe_members<DocComment>{}, [&](auto D)
+        {
+            constexpr std::string_view name = D.name;
+
+            if constexpr (name == "Document")
+            {
+                io.defer("description", [&I, domCorpus]
+                {
+                    return dom::LazyArray(I.Document, domCorpus);
+                });
+            }
+            else if constexpr (name == "brief")
+            {
+                if (I.brief && !I.brief->children.empty())
+                {
+                    io.map("brief", I.brief);
+                }
+            }
+            else
+            {
+                io.defer(D.name, [&I, domCorpus, ptr = D.pointer]
+                {
+                    return dom::LazyArray(I.*ptr, domCorpus);
+                });
+            }
+        });
+}
+
+template
+void
+tag_invoke<LazyObjectIOType>(
+    dom::LazyObjectMapTag,
+    LazyObjectIOType&,
+    DocComment const&,
+    DomCorpus const*
+);
+
 } // mrdocs
 

src/lib/Metadata/DocComment.cpp

@@ -11,7 +11,9 @@
 //
 
 #include <mrdocs/Metadata/DocComment/Inline.hpp>
+#include <mrdocs/Metadata/DocComment/Inline/ImageInline.hpp>
 #include <mrdocs/Support/Algorithm.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 
 namespace mrdocs::doc {
 
@@ -83,5 +85,23 @@ isEmpty(Polymorphic<Inline> const& el)
     });
 }
 
+template <typename IO>
+void
+tag_invoke(
+    dom::LazyObjectMapTag,
+    IO& io,
+    ImageInline const& I,
+    DomCorpus const* domCorpus)
+{
+    mrdocs::mapReflectedType<true>(io, I, domCorpus);
+}
+
+template
+void
+tag_invoke<mrdocs::LazyObjectIOType>(
+    dom::LazyObjectMapTag,
+    mrdocs::LazyObjectIOType&,
+    ImageInline const&,
+    mrdocs::DomCorpus const*);
 
 } // mrdocs::doc

src/lib/Metadata/DocComment/Inline.cpp

@@ -6,6 +6,7 @@
 //
 // Copyright (c) 2023 Vinnie Falco (vinnie.falco@gmail.com)
 // Copyright (c) 2024 Alan de Freitas (alandefreitas@gmail.com)
+// Copyright (c) 2025 Gennaro Prota (gennaro.prota@gmail.com)
 //
 // Official repository: https://github.com/cppalliance/mrdocs
 //
@@ -16,6 +17,7 @@
 #include <mrdocs/Metadata.hpp>
 #include <mrdocs/Metadata/DomCorpus.hpp>
 #include <mrdocs/Metadata/Symbol/Record.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <mrdocs/Support/String.hpp>
 #include <clang/AST/Type.h>
 #include <llvm/ADT/STLExtras.h>
@@ -37,4 +39,42 @@ toString(SymbolKind const kind) noexcept
     }
 }
 
+template <typename IO>
+void
+tag_invoke(
+    dom::LazyObjectMapTag,
+    IO& io,
+    Symbol const& I,
+    DomCorpus const* domCorpus)
+{
+    MRDOCS_ASSERT(domCorpus);
+    mapReflectedType<false>(io, I, domCorpus);
+    io.map("class", std::string("symbol"));
+    io.map("isRegular", I.Extraction == ExtractionMode::Regular);
+    io.map("isSeeBelow", I.Extraction == ExtractionMode::SeeBelow);
+    io.map("isImplementationDefined", I.Extraction == ExtractionMode::ImplementationDefined);
+    io.map("isDependency", I.Extraction == ExtractionMode::Dependency);
+}
+
+template
+void
+tag_invoke<LazyObjectIOType>(
+    dom::LazyObjectMapTag,
+    LazyObjectIOType&,
+    Symbol const&,
+    DomCorpus const*);
+
+inline void
+tag_invoke(
+    dom::ValueFromTag,
+    dom::Value& v,
+    Optional<DocComment> const& opt,
+    DomCorpus const* domCorpus)
+{
+    if (opt)
+    {
+        v = dom::LazyObject(*opt, domCorpus);
+    }
+}
+
 } // mrdocs

src/lib/Metadata/Info.cpp

@@ -10,11 +10,11 @@
 // Official repository: https://github.com/cppalliance/mrdocs
 //
 
-#include <lib/Support/Reflection/MapReflectedType.hpp>
 #include <mrdocs/Dom/LazyArray.hpp>
 #include <mrdocs/Dom/LazyObject.hpp>
 #include <mrdocs/Metadata/DomCorpus.hpp>
 #include <mrdocs/Metadata/Name.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <span>
 
 namespace mrdocs {

src/lib/Metadata/Name.cpp

@@ -10,12 +10,12 @@
 // Official repository: https://github.com/cppalliance/mrdocs
 //
 
-#include <lib/Support/Reflection/MapReflectedType.hpp>
 #include <mrdocs/Dom/LazyArray.hpp>
 #include <mrdocs/Dom/LazyObject.hpp>
 #include <mrdocs/Metadata/Symbol/FileKind.hpp>
 #include <mrdocs/Metadata/Symbol/Location.hpp>
 #include <mrdocs/Metadata/Symbol/Source.hpp>
+#include <mrdocs/Support/Reflection.hpp>
 #include <llvm/ADT/STLExtras.h>
 #include <ranges>