Module

`server.route_explorer`

Route explorer — debug-only HTML endpoint for inspecting discovered routes.

Functions

_route_to_dict 1 dict[str, Any] ▼

Serialize a PageRoute to a JSON-serializable dict.

def _route_to_dict(route: Any) -> dict[str, Any]

Name	Type	Description
`route`	`Any`

dict[str, Any]

render_route_explorer 2 str ▼

Render the route explorer HTML page.

def render_route_explorer(routes: list[Any], path_filter: str | None = None) -> str

Name	Type	Description
`routes`	`list[Any]`
`path_filter`	`str \| None`	Default:`None`

str