wip: auto concepts doc generation

Author: SpectraL519

Makefile

@@ -3,13 +3,15 @@ TAGS ?= dev
 
 .PHONY: docs serve-docs clean-docs clean
 
+# Example usage: `make docs TAGS="v2.0.0 latest --update-aliases"`
 docs:
 	@echo "==> Deploying MkDocs documentation locally via mike (Tags: $(TAGS))..."
+	doxygen Doxyfile
+	uv run python scripts/gen_concept_docs.py --xml documentation/xml --out docs/cpp-gl
 	uv run mike deploy $(TAGS)
 	@echo "==> Documentation deployed to local gh-pages branch."
-# Example usage: `make docs TAGS="v2.0.0 latest --update-aliases"`
 
-serve-docs:
+serve-docs: docs
 	@echo "==> Serving versioned MkDocs documentation locally via mike..."
 	uv run mike serve
 

docs/cpp-gl/concepts.md

@@ -3,13 +3,105 @@
 This page serves as the central index for all C++20 concepts used across the library to enforce type safety and template constraints.
 
 > [!IMPORTANT]
-> This page is maintained manually and separately from the auto-generated API reference as the [MkDoxy](https://github.com/JakubAndrysek/MkDoxy) tool does not currently support generating documentation for concepts.
+> This page is automatically generated by `generate_concepts.py` to bridge the gap in MkDoxy's C++20 concept support. **Do not edit this file manually.**
 
 ---
 
-## Graph Library Concepts
+## GL Concepts
 
-The GL module relies on concepts to validate identifier types and property structures at compile time.
-
-- **[GL Traits & Concepts Documentation](gl_traits.md)**: Full API reference for the GL module.
+- **[GL Traits & Concepts](gl_traits.md)**: Full API reference.
+    - [`gl::traits::c_adjacency_list_graph`](gl_traits.md#gl-traits-c-adjacency-list-graph)
+    - [`gl::traits::c_adjacency_list_graph_traits`](gl_traits.md#gl-traits-c-adjacency-list-graph-traits)
+    - [`gl::traits::c_adjacency_matrix_graph`](gl_traits.md#gl-traits-c-adjacency-matrix-graph)
+    - [`gl::traits::c_adjacency_matrix_graph_traits`](gl_traits.md#gl-traits-c-adjacency-matrix-graph-traits)
+    - [`gl::traits::c_arithmetic`](gl_traits.md#gl-traits-c-arithmetic)
+    - [`gl::traits::c_binary_color_properties_type`](gl_traits.md#gl-traits-c-binary-color-properties-type): Requirements for properties that support binary coloring algorithms.
+    - [`gl::traits::c_callback`](gl_traits.md#gl-traits-c-callback)
+    - [`gl::traits::c_comparable`](gl_traits.md#gl-traits-c-comparable)
+    - [`gl::traits::c_const_iterator`](gl_traits.md#gl-traits-c-const-iterator)
+    - [`gl::traits::c_const_range`](gl_traits.md#gl-traits-c-const-range)
+    - [`gl::traits::c_decision_predicate`](gl_traits.md#gl-traits-c-decision-predicate)
+    - [`gl::traits::c_directed_edge`](gl_traits.md#gl-traits-c-directed-edge)
+    - [`gl::traits::c_directed_graph`](gl_traits.md#gl-traits-c-directed-graph)
+    - [`gl::traits::c_directed_graph_traits`](gl_traits.md#gl-traits-c-directed-graph-traits)
+    - [`gl::traits::c_empty_callback`](gl_traits.md#gl-traits-c-empty-callback)
+    - [`gl::traits::c_empty_properties`](gl_traits.md#gl-traits-c-empty-properties): Validates if a type is specifically the gl::empty_properties tag.
+    - [`gl::traits::c_enum`](gl_traits.md#gl-traits-c-enum)
+    - [`gl::traits::c_flat_list_graph`](gl_traits.md#gl-traits-c-flat-list-graph)
+    - [`gl::traits::c_flat_list_graph_traits`](gl_traits.md#gl-traits-c-flat-list-graph-traits)
+    - [`gl::traits::c_flat_matrix_graph_traits`](gl_traits.md#gl-traits-c-flat-matrix-graph-traits)
+    - [`gl::traits::c_forward_range`](gl_traits.md#gl-traits-c-forward-range)
+    - [`gl::traits::c_forward_range_of`](gl_traits.md#gl-traits-c-forward-range-of)
+    - [`gl::traits::c_forward_range_of_cv`](gl_traits.md#gl-traits-c-forward-range-of-cv)
+    - [`gl::traits::c_graph`](gl_traits.md#gl-traits-c-graph)
+    - [`gl::traits::c_graph_directional_tag`](gl_traits.md#gl-traits-c-graph-directional-tag)
+    - [`gl::traits::c_graph_impl_tag`](gl_traits.md#gl-traits-c-graph-impl-tag)
+    - [`gl::traits::c_has_empty_properties`](gl_traits.md#gl-traits-c-has-empty-properties): Checks if a type/component has a nested properties_type that is the gl::empty_properties tag.
+    - [`gl::traits::c_has_non_empty_properties`](gl_traits.md#gl-traits-c-has-non-empty-properties): Checks if a type/component has a nested properties_type that is not the gl::empty_properties tag.
+    - [`gl::traits::c_has_numeric_limits_max`](gl_traits.md#gl-traits-c-has-numeric-limits-max)
     - [`gl::traits::c_id_type`](gl_traits.md#gl-traits-c-id-type): Concept defining the requirements for an identifier type.
+    - [`gl::traits::c_instantiation_of`](gl_traits.md#gl-traits-c-instantiation-of)
+    - [`gl::traits::c_io_save_mode`](gl_traits.md#gl-traits-c-io-save-mode)
+    - [`gl::traits::c_list_graph`](gl_traits.md#gl-traits-c-list-graph)
+    - [`gl::traits::c_list_graph_traits`](gl_traits.md#gl-traits-c-list-graph-traits)
+    - [`gl::traits::c_matrix_graph`](gl_traits.md#gl-traits-c-matrix-graph)
+    - [`gl::traits::c_matrix_graph_traits`](gl_traits.md#gl-traits-c-matrix-graph-traits)
+    - [`gl::traits::c_non_empty_properties`](gl_traits.md#gl-traits-c-non-empty-properties): Validates if a property type contains actual user-defined data.
+    - [`gl::traits::c_one_of`](gl_traits.md#gl-traits-c-one-of)
+    - [`gl::traits::c_optional_callback`](gl_traits.md#gl-traits-c-optional-callback)
+    - [`gl::traits::c_optional_decision_predicate`](gl_traits.md#gl-traits-c-optional-decision-predicate)
+    - [`gl::traits::c_optional_predicate`](gl_traits.md#gl-traits-c-optional-predicate)
+    - [`gl::traits::c_predicate`](gl_traits.md#gl-traits-c-predicate)
+    - [`gl::traits::c_properties`](gl_traits.md#gl-traits-c-properties): Defines the minimal requirements for a type to be used as a property.
+    - [`gl::traits::c_random_access_range`](gl_traits.md#gl-traits-c-random-access-range)
+    - [`gl::traits::c_random_access_range_of`](gl_traits.md#gl-traits-c-random-access-range-of)
+    - [`gl::traits::c_random_access_range_of_cv`](gl_traits.md#gl-traits-c-random-access-range-of-cv)
+    - [`gl::traits::c_range`](gl_traits.md#gl-traits-c-range)
+    - [`gl::traits::c_range_of`](gl_traits.md#gl-traits-c-range-of)
+    - [`gl::traits::c_range_of_cv`](gl_traits.md#gl-traits-c-range-of-cv)
+    - [`gl::traits::c_readable`](gl_traits.md#gl-traits-c-readable)
+    - [`gl::traits::c_sized_range`](gl_traits.md#gl-traits-c-sized-range)
+    - [`gl::traits::c_sized_range_of`](gl_traits.md#gl-traits-c-sized-range-of)
+    - [`gl::traits::c_sized_range_of_cv`](gl_traits.md#gl-traits-c-sized-range-of-cv)
+    - [`gl::traits::c_undirected_edge`](gl_traits.md#gl-traits-c-undirected-edge)
+    - [`gl::traits::c_undirected_graph`](gl_traits.md#gl-traits-c-undirected-graph)
+    - [`gl::traits::c_undirected_graph_traits`](gl_traits.md#gl-traits-c-undirected-graph-traits)
+    - [`gl::traits::c_weight_properties_type`](gl_traits.md#gl-traits-c-weight-properties-type): Requirements for properties that support arithmetic weight values.
+    - [`gl::traits::c_writable`](gl_traits.md#gl-traits-c-writable)
+
+---
+
+## HGL Concepts
+
+- **[HGL Traits & Concepts](hgl_traits.md)**: Full API reference.
+    - [`hgl::traits::c_bf_directed_hypergraph`](hgl_traits.md#hgl-traits-c-bf-directed-hypergraph)
+    - [`hgl::traits::c_bf_directed_hypergraph_traits`](hgl_traits.md#hgl-traits-c-bf-directed-hypergraph-traits)
+    - [`hgl::traits::c_flat_list_hypergraph`](hgl_traits.md#hgl-traits-c-flat-list-hypergraph)
+    - [`hgl::traits::c_flat_list_hypergraph_traits`](hgl_traits.md#hgl-traits-c-flat-list-hypergraph-traits)
+    - [`hgl::traits::c_flat_matrix_hypergraph_traits`](hgl_traits.md#hgl-traits-c-flat-matrix-hypergraph-traits)
+    - [`hgl::traits::c_hypergraph`](hgl_traits.md#hgl-traits-c-hypergraph)
+    - [`hgl::traits::c_hypergraph_asymmetric_layout_tag`](hgl_traits.md#hgl-traits-c-hypergraph-asymmetric-layout-tag)
+    - [`hgl::traits::c_hypergraph_directional_tag`](hgl_traits.md#hgl-traits-c-hypergraph-directional-tag)
+    - [`hgl::traits::c_hypergraph_element_tag`](hgl_traits.md#hgl-traits-c-hypergraph-element-tag)
+    - [`hgl::traits::c_hypergraph_flat_list_impl`](hgl_traits.md#hgl-traits-c-hypergraph-flat-list-impl)
+    - [`hgl::traits::c_hypergraph_flat_matrix_impl`](hgl_traits.md#hgl-traits-c-hypergraph-flat-matrix-impl)
+    - [`hgl::traits::c_hypergraph_impl_tag`](hgl_traits.md#hgl-traits-c-hypergraph-impl-tag)
+    - [`hgl::traits::c_hypergraph_incidence_list_impl`](hgl_traits.md#hgl-traits-c-hypergraph-incidence-list-impl)
+    - [`hgl::traits::c_hypergraph_incidence_matrix_impl`](hgl_traits.md#hgl-traits-c-hypergraph-incidence-matrix-impl)
+    - [`hgl::traits::c_hypergraph_layout_tag`](hgl_traits.md#hgl-traits-c-hypergraph-layout-tag)
+    - [`hgl::traits::c_hypergraph_list_impl`](hgl_traits.md#hgl-traits-c-hypergraph-list-impl)
+    - [`hgl::traits::c_hypergraph_matrix_impl`](hgl_traits.md#hgl-traits-c-hypergraph-matrix-impl)
+    - [`hgl::traits::c_incidence_list_hypergraph`](hgl_traits.md#hgl-traits-c-incidence-list-hypergraph)
+    - [`hgl::traits::c_incidence_list_hypergraph_traits`](hgl_traits.md#hgl-traits-c-incidence-list-hypergraph-traits)
+    - [`hgl::traits::c_incidence_matrix_hypergraph`](hgl_traits.md#hgl-traits-c-incidence-matrix-hypergraph)
+    - [`hgl::traits::c_incidence_matrix_hypergraph_traits`](hgl_traits.md#hgl-traits-c-incidence-matrix-hypergraph-traits)
+    - [`hgl::traits::c_list_hypergraph`](hgl_traits.md#hgl-traits-c-list-hypergraph)
+    - [`hgl::traits::c_list_hypergraph_traits`](hgl_traits.md#hgl-traits-c-list-hypergraph-traits)
+    - [`hgl::traits::c_matrix_hypergraph`](hgl_traits.md#hgl-traits-c-matrix-hypergraph)
+    - [`hgl::traits::c_matrix_hypergraph_traits`](hgl_traits.md#hgl-traits-c-matrix-hypergraph-traits)
+    - [`hgl::traits::c_search_tree`](hgl_traits.md#hgl-traits-c-search-tree)
+    - [`hgl::traits::c_undirected_hypergraph`](hgl_traits.md#hgl-traits-c-undirected-hypergraph)
+    - [`hgl::traits::c_undirected_hypergraph_traits`](hgl_traits.md#hgl-traits-c-undirected-hypergraph-traits)
+
+---
+